diff debian/rules @ 3578:10c3e69bb5bf

branching: merge stable into default Some bugfix that we could use here (also getting ready for a release).
author Pierre-Yves David <pierre-yves.david@octobus.net>
date Wed, 21 Mar 2018 15:24:51 +0100
parents c0a685c67c5c
children 9fa3585b160f
line wrap: on
line diff