| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| 0001-Disable-bittools-extension.patch | Disable bittools extension | Antonio Valentino <antonio.valentino@tiscali.it> | not-needed | 2018-12-30 | ||
| 0002-Robust-definition-list-generation.patch | Robust definition list generation | Antonio Valentino <antonio.valentino@tiscali.it> | not-needed | 2018-12-31 |