diff options
author | Patrick McDermott <patrick.mcdermott@libiquity.com> | 2019-04-27 16:26:11 (EDT) |
---|---|---|
committer | Patrick McDermott <patrick.mcdermott@libiquity.com> | 2019-04-27 16:26:11 (EDT) |
commit | 1b86cb4e32cc312e9a0bae263bfa0c0ae3341e17 (patch) | |
tree | ffb6604f5cb7b8c7531c423ee1722a35eee17563 /debian/changelog | |
parent | 03398fe0123998f94d5e1f43968c29bc0c37e65a (diff) |
debian/rules: Configure with "--with-sh=/bin/bash"
Diffstat (limited to 'debian/changelog')
-rw-r--r-- | debian/changelog | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog index c09b506..2f80048 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,10 @@ +pro-archman (2.0.1-2) UNRELEASED; urgency=medium + + * Use Bash instead of DASH, to work around a bug in certain versions + of DASH. + + -- Patrick McDermott <patrick.mcdermott@libiquity.com> Sat, 27 Apr 2019 16:23:06 -0400 + pro-archman (2.0.1-1) unstable; urgency=medium * New upstream version. |