Merge branch '2.5.x'
authorMark Wooding <mdw@distorted.org.uk>
Sun, 29 Sep 2019 17:42:35 +0000 (18:42 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Sun, 29 Sep 2019 17:42:35 +0000 (18:42 +0100)
* 2.5.x:
  Release 2.5.1.
  Release 2.4.4.
  debian/: Ship correct symbols files.
  debian/: Bump to Debhelper 10.
  debian/rules: Prefix `dh' options with `-O' to prevent sadness.


Trivial merge