pdftex[800] tags/pdftex-1.40.16/: pdftex 1.40.16 tag based on r725,

[commits+karl at tug.org]

Revision: 800
          http://tug.org/svn/pdftex?view=revision&revision=800
Author:   karl
Date:     2018-05-17 19:09:55 +0200 (Thu, 17 May 2018)
Log Message:
-----------
pdftex 1.40.16 tag based on r725, tl15 r37489

Revision Links:
--------------
    http://tug.org/svn/pdftex?view=revision&revision=725
    http://tug.org/svn/pdftex?view=revision&revision=37489

Added Paths:
-----------
    tags/pdftex-1.40.16/