| 21:18 | <bakkot> | Michael Ficarra: IBM plex just did a release which closed the issue with the weird #: https://github.com/IBM/plex/pull/555 |
| 21:19 | <bakkot> | presumably as a variant glyph |
| 21:19 | <bakkot> | you want to update the fonts? |
| 21:36 | <Michael Ficarra> | I'm not especially motivated to spend my time that way |