final packaging fixes for 0.8.5
Authored by: Jean-Francois Dockes 2014-10-14
Parent(s): [d92d02]
Child(ren): [45eaad]
