Partially merge -c31661 ^/trunk/SHERPA .
Relevant part of the original message: Fix compilation for GNU makeinfo 5.2
Description
Description
Details
Details
- Provenance
ebothmann Authored on - Parents
- rSHERPASVN31714: Before meeting: Lund tune
- Branches
- Unknown
- Tags