| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| hardening | Hardening | no | ||||
| enable_clean | Enable_clean | no | ||||
| remove_pause | Remove_pause | no | ||||
| define_linux | Define_linux | no | ||||
| spelling | Spelling | no | ||||
| helpfile_location | Helpfile_location | no | ||||
| fix_link_name_clashes | Fix_link_name_clashes | no | ||||
| remove_nondeterminism | Remove_nondeterminism | no |