| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| info-dir-section.patch | Add category directory entry for the info documentation This is a requirement in Debian. | Rafael Laboissiere <rafael@debian.org> | not-needed | 2012-03-12 | ||
| random-seed-for-pdf-doc.patch | Add seed for random number generators This patch add seeds for the random number generators used when building the PDF figures of the manual. This ensures that the data appearing in the figures is reproducible. |
Rafael Laboissière <rafael@debian.org> | yes | 2016-07-28 |