Vigra builds fine now, presumably since commit 019b38758c3895d80a27610d6488ae59455465d6 by Andreas, so closing this bug.
Ludo’.
Vigra builds fine now, presumably since commit 019b38758c3895d80a27610d6488ae59455465d6 by Andreas, so closing this bug.
Ludo’.