chiark / gitweb /
Merge remote-tracking branch 'mariner/master'
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 11 Feb 2020 16:17:59 +0000 (16:17 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 11 Feb 2020 16:20:44 +0000 (16:20 +0000)
commitc4c2034c950a4283c8a672169d70012f1c982c30
tree8be0a786d2864da2b5513739273f4fd20cf97186
parent1959e93fb419b69af34b984f9874b8d828c18343
parent7beece44c34c729e13b9bdc6819bde0071492345
Merge remote-tracking branch 'mariner/master'

Signed-off-by: Ian Jackson <ian.jackson@citrix.com>
debian/changelog