On Tue, May 15, 2018 at 2:36 AM, Markus Wanner wrote: > Hello Font Team, BTW, we have moved to the debian-fonts list: https://lists.debian.org/debian-fonts/ This list only still exists because we haven't updated all Maintainer fields yet. -- bye, pabs https://wiki.debian.org/PaulWise