Merge pull request #233 from Fist0urs/format_krb5tgs
authorJens Steube <jens.steube@gmail.com>
Sat, 20 Feb 2016 11:47:01 +0000 (12:47 +0100)
committerJens Steube <jens.steube@gmail.com>
Sat, 20 Feb 2016 11:47:01 +0000 (12:47 +0100)
Fix test.pl verify -m 13100


Trivial merge