diff options
author | Ruben Undheim <ruben.undheim@gmail.com> | 2017-04-05 09:34:21 +0000 |
---|---|---|
committer | Ruben Undheim <ruben.undheim@gmail.com> | 2017-04-05 09:37:19 +0000 |
commit | 5a2c6845cfbc4cdb3ed73fcf7dadeea72fb35a4f (patch) | |
tree | fddf00d388347ca2a1006dc3419874c6c82cd131 /debian/changelog | |
parent | d3a3dc09c4d850dff15cff7adcf742d65de023c3 (diff) |
Disable pretty build
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 4830bf90..7fbc64de 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,10 @@ +yosys (0.7-3~exp1) UNRELEASED; urgency=low + + * debian/patches/0007-Disable-pretty-build.patch: + - New patch to disable pretty build (Closes: #847110) + + -- Ruben Undheim <ruben.undheim@gmail.com> Wed, 05 Apr 2017 09:33:20 +0000 + yosys (0.7-2) unstable; urgency=medium * debian/control: |