[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