chiark / gitweb /
Merge branch 'stable'
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 16 Jul 2017 17:21:14 +0000 (18:21 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 16 Jul 2017 17:21:14 +0000 (18:21 +0100)
commit965a3d2bd810d28cfe9a5f419a8fc35cbb4f0b46
tree594b18967fe8942e39b9536a4e734873091600c7
parent18413810f983efbd083a2fd0cbc2c2cbbadc558b
parentba5d46b8844b347f9dd54657b818c5017491bd13
Merge branch 'stable'
debian/changelog
dgit