Closed stlee42 closed 7 months ago
this is related to https://github.com/elementary/fonts/pull/20 and https://github.com/elementary/default-settings/issues/92
I didn't know if it was appropriate to remove Roboto Mono, but I can do that as well.
Closing as not reviewed/actioned after 2+yrs
this is related to https://github.com/elementary/fonts/pull/20 and https://github.com/elementary/default-settings/issues/92
I didn't know if it was appropriate to remove Roboto Mono, but I can do that as well.