Bug#944785: pufferfish now builds

[Andreas Tille]

Am Thu, Mar 24, 2022 at 06:39:22PM +0100 schrieb Michael Crusoe:
> That's great news, please go for it!

... as always.  If you fix something, just upload.

Thanks a lot, Andreas.

-- 
http://fam-tille.de