Looks like DejaVu Sans Bold. Does the attached PDF and highlighting look like a match for you? If so we can repoint the bug there?
Looks like DejaVu Sans Bold. Does the attached PDF and highlighting look like a match for you? If so we can repoint the bug there?