[Pkg-ocaml-maint-commits] [SCM] pxp packaging branch, master, updated. debian/1.2.0.test1-3-29-g90c4ed3

[Stefano Zacchiroli]

The following commit has been merged in the master branch:
commit 90c4ed332cf7064343743d11b80d0ea794ea656b
Author: Stefano Zacchiroli <zack at upsilon.cc>
Date:   Mon Mar 16 18:20:51 2009 +0100

    check in patch as an executable (git is happier)

diff --git a/debian/patches/install_destdir.dpatch b/debian/patches/install_destdir.dpatch
old mode 100644
new mode 100755

-- 
pxp packaging