| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| fix-manpages.patch | Fix a manpage issue. * When manpages are generated from these files, this stuff with the dots is interpreted as a (missing) macro and not displayed. |
Tobias Hansen <tobias.han@gmx.de> | no | |||
| fix-manpage-generation-script.patch | Fix issues with the manpage generation script. * Add alleg5 suffix to manual page file names to prevent possible name clashes. |
Tobias Hansen <tobias.han@gmx.de> | no | |||
| use-debians-dejavu-font.patch | Use Debian's DejaVuSans font for the fonts test. It is in the package fonts-dejavu-core. | Tobias Hansen <tobias.han@gmx.de> | not-needed | |||
| 0004-Use-CLOCK_REALTIME-instead-of-CLOCK_MONOTONIC.patch | Use CLOCK_REALTIME instead of CLOCK_MONOTONIC. The former has spotty support across Unixes and in particular is not used (by default) by pthread_cond_timedwait which caused #1349. While it is possible to alter that default (thus fixing this bug a different way), the function to do that (pthread_condattr_setclock) has even spottier support (e.g. it is not exposed on my Ubuntu 20.04). Fixes #1349 |
Pavel Sountsov <siege@google.com> | no | 2022-07-18 |