| Mon, 09 Jan 2017 12:22:02 +0100 | Matthias Förste | * maintainer/copyright updates\n* fixed debian package policy violations | changeset | files |
| Mon, 09 Jan 2017 12:19:59 +0100 | Matthias Förste | [ignores] | changeset | files |
| Mon, 09 Jan 2017 11:56:42 +0100 | Matthias Förste | fixed match for resource numbers with more than one digit | changeset | files |