[yosys] 02/02: debian/changelog: note change in font
Sebastian Kuzminsky
seb_kuzminsky-guest at moszumanska.debian.org
Thu Sep 22 06:17:57 UTC 2016
This is an automated email from the git hooks/post-receive script.
seb_kuzminsky-guest pushed a commit to branch master
in repository yosys.
commit a0c7bcdc472c2231ffe12f1a158d66b985eb56ee (HEAD, master)
Author: Sebastian Kuzminsky <seb at highlab.com>
Date: Thu Sep 22 00:16:58 2016 -0600
debian/changelog: note change in font
---
debian/changelog | 6 ++++++
1 file changed, 6 insertions(+)
diff --git a/debian/changelog b/debian/changelog
index 5e89f7f..aa89798 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,7 +1,13 @@
yosys (0.6-7) UNRELEASED; urgency=medium
+ [ Ruben Undheim ]
* Use gbp-pq for patches.
+ [Sebastian Kuzminsky]
+ * debian/patches/switch-to-free-font.patch: Switch manual tt font
+ from libertine to inconsolata. The yosys manual doesn't render with
+ libertine on sid, but it renders nicely with inconsolata.
+
-- Ruben Undheim <ruben.undheim at gmail.com> Sat, 14 May 2016 15:48:19 +0200
yosys (0.6-6) unstable; urgency=medium
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/yosys.git
More information about the debian-science-commits
mailing list