]> source.dussan.org Git - gitblit.git/commitdiff
Merge pull request #1428 from urkle/fix-pt
authorFlorian Zschocke <2362065+flaix@users.noreply.github.com>
Sat, 22 Oct 2022 10:51:51 +0000 (12:51 +0200)
committerGitHub <noreply@github.com>
Sat, 22 Oct 2022 10:51:51 +0000 (12:51 +0200)
Correct is/is not usage in pt.py to not be used with the value is a literal


Trivial merge