[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] texi: require Texinfo >= 4.9, related enhancements
|
From: |
Stefano Lattarini |
|
Subject: |
Re: [PATCH] texi: require Texinfo >= 4.9, related enhancements |
|
Date: |
Wed, 20 Jun 2012 10:42:02 +0200 |
I've improved the commit message and code comments (adding the details
about the Texinfo bug we've spoken about), and pushed. The final,
amended patch is attached, for reference.
Regards,
Stefano
0001-texi-require-Texinfo-4.9-related-enhancements.patch
Description: Text Data