Convert sed to patch in debian packaging
Convert sed to patch in debian packaging
Convert sed to patch in debian packaging
Merge pull request #1 from titilambert/clean_debian_packaging

Clean debian packaging