On Tue, Nov 10, 2020 at 08:34:10PM +0100, Jonas Smedegaard wrote: > Would you still find it relevant to pin the old font even if the new one > works but simply uses different visual style?
Yes. I find the new one fairly unreadable as a terminal font. > Source for Debian package is https://github.com/googlefonts/noto-fonts/ > - but interestingly, the NotoMono fonts was renamed just 2 days after > our latest snapshot - with a totally unrevealing commit message of > "Published NotoTraditionalNushu hinted and unhinted static instances": > https://github.com/googlefonts/noto-fonts/commit/1eda585 > > Seems Google changed their mind regarding the reuse of font name, and we > can go back to keeping the old legacy font alive... It sounds they simply messed up the naming when uploading Noto Sans Mono, and fixed it in that commit. /* Steinar */ -- Homepage: https://www.sesse.net/