DejaVu Sans Mono is not in the main gallery #174
Description
The font is in the repository but missed in the main gallery. Is it a bug or intentional?
{{ message }}
The font is in the repository but missed in the main gallery. Is it a bug or intentional?