![](https://secure.gravatar.com/avatar/c3c4ce72a68266355f51f0006a576199.jpg?s=120&d=mm&r=g)
25 Mar
2018
25 Mar
'18
8:18 p.m.
Therefore banner is set to version 1.40.19, but \pdftexrevision just to version 18. This looks like an error. Yes, it's an error. It's been fixed in the TL repository, which is where all pdftex stuff takes place during the TL pretest. I don't try to keep pdftex and tl synced during that time, it is too variable. --thanks, karl.