Comment 4 for bug 920175

Revision history for this message
Henrik Ingo (hingo) wrote :

So this was built from the 2012.01.30 release sources, using updated debian packaging scripts.
TODO:
 - verify that it also happens with plain "make install"
 - (kind of unrelated) I'll upload the deb packaging stuff shortly. (Is it called source deb?)