[DejaVu-bugs] [Bug 95174] New: Missing codepoints U+2983 and U+2984

[bugzilla-daemon at freedesktop.org]

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

            Bug ID: 95174
           Summary: Missing codepoints U+2983 and U+2984
           Product: DejaVu
           Version: unspecified
          Hardware: Other
                OS: All
            Status: NEW
          Severity: normal
          Priority: medium
         Component: Mono Sans
          Assignee: dejavu-bugs at lists.freedesktop.org
          Reporter: andres.sicard.ramirez at gmail.com

The codepoints U+2983 and U+2984 are missing from DejaVu Sans Mono v2.35. These
codepoints are required when writing programs in Agda.

-- 
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/20160427/d3ed1108/attachment.html>