![](https://secure.gravatar.com/avatar/2d7ceb4b6f48f67dd13a6beaa7542682.jpg?s=120&d=mm&r=g)
5 Nov
2003
5 Nov
'03
7:09 a.m.
On Wed, Oct 15, 2003 at 12:45:06AM +0200, Hans Hagen wrote:
I assume that this patch goes into the tex live repository
Hello, I've tried to propagate the changes into TeXlive, so I posted it to the tex-live@tug.org mailing list. The list seems completely dead, even its long-time members I know of report that their posts get lost. Do you have an idea what happens there? Thanks, D.A. -- For God's sake, stop researching for a while and begin to think!