30 Jul
2010
30 Jul
'10
10:25 a.m.
Hmm. As usual I forgot to list the patch in debian/patches/00list, so it's not actually applied. Still need to change that header installation location though.