Commit 7389664a authored by Andreas Marek's avatar Andreas Marek

Fix make distcheck

parent b17f11c9