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?)
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?)