chiark / gitweb /
Merge remote-tracking branch 'origin/1.0.0pre19.x'
authorMark Wooding <mdw@distorted.org.uk>
Sun, 22 Sep 2019 00:18:20 +0000 (01:18 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Sun, 22 Sep 2019 00:18:20 +0000 (01:18 +0100)
commitdbc84ac3309e10a581233f3a2bd62ba174d247db
treed1c585a4ae1be9c7572c753a3465ef0d6e78b9e8
parentb8afd5cf0dd47a6cb52197939448facbf999b691
parent1d7e045522f6127a69bff05beed11464df291088
Merge remote-tracking branch 'origin/1.0.0pre19.x'

* origin/1.0.0pre19.x:
  Release 1.0.0pre19.1.
  debian/: Use `dh_python2' for packaging.