* Thomas Esser <te@informatik.uni-hannover.de> writes: > This change is not yet checked in into TeX Live. Shall I put it into > the Build/source tree? Thomas: probably yes ! Heiko: Thanks for reminding me to check about this issue. I'll do what is needed. Fabrice