October 2013 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...

Starting: Thu Oct 3 21:41:55 CEST 2013
Ending: Thu Oct 31 18:17:40 CET 2013
Messages: 3

• [DejaVu-bugs] [Bug 69233] Missing codepoints in DejaVu Sans Mono used by Agda standard library   bugzilla-daemon at freedesktop.org
• [DejaVu-bugs] [Bug 69233] Missing codepoints in DejaVu Sans Mono used by Agda standard library   bugzilla-daemon at freedesktop.org
• [DejaVu-bugs] [Bug 7224] [hinting] Misplaced accents in small sizes   bugzilla-daemon at freedesktop.org

Last message date: Thu Oct 31 18:17:40 CET 2013
Archived on: Thu Oct 31 18:17:42 CET 2013

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...