[DejaVu-bugs] [Bug 76373] Missing codepoints U+22C0 and U+22C1 in DejaVu Sans Mono

[bugzilla-daemon at freedesktop.org]

https://bugs.freedesktop.org/show_bug.cgi?id=76373

--- Comment #1 from Andrés Sicard-Ramírez <andres.sicard.ramirez at gmail.com> ---
These codepoints are required when writing programs in Agda.

The codepoint are missing in the master repository (commit 
https://github.com/dejavu-fonts/dejavu-fonts/commit/8faf254fa4d74194641494ecc3f1404078269e9d).

-- 
You are receiving this mail because:
You are the assignee for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.freedesktop.org/archives/dejavu-bugs/attachments/20160429/38a2908d/attachment.html>