Am Mittwoch, den 07.08.2013, 09:31 +0200 schrieb Paul Wise: > pkg-fonts-devel was in CC: Sure, but not in the further course of the discussion in #718880. Anyway, no harm done, let's not argue about it. ;) - Fabian