diff options
Diffstat (limited to 'debian/changelog')
| -rw-r--r-- | debian/changelog | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog index 513b21191c96..e46031c218ee 100644 --- a/debian/changelog +++ b/debian/changelog @@ -50,6 +50,13 @@ linux (4.13~rc5-1~exp1) experimental; urgency=medium -- Ben Hutchings <ben@decadent.org.uk> Mon, 14 Aug 2017 23:20:50 +0100 +linux (4.12.12-2) unstable; urgency=medium + + * debian/source/lintian-overrides: Override license-problem-gfdl-invariants + error triggered by a ReSTified copy of the GFDL + + -- Ben Hutchings <ben@decadent.org.uk> Mon, 11 Sep 2017 04:35:28 +0100 + linux (4.12.12-1) unstable; urgency=medium * New upstream stable update: |