[DejaVu-bugs] [Bug 69233] Missing codepoints in DejaVu Sans Mono used by Agda standard library
bugzilla-daemon at freedesktop.org
bugzilla-daemon at freedesktop.org
Sat Sep 14 10:47:23 PDT 2013
https://bugs.freedesktop.org/show_bug.cgi?id=69233
--- Comment #2 from Andrés Sicard-Ramírez <andres.sicard.ramirez at gmail.com> ---
Yeap. I meant U+2A00 ⨀.
--
You are receiving this mail because:
You are the assignee for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.freedesktop.org/archives/dejavu-bugs/attachments/20130914/5d9b9bed/attachment.html>
More information about the DejaVu-bugs
mailing list