Refresh patches
authorStephane Glondu <steph@glondu.net>
Fri, 21 Aug 2015 20:04:46 +0000 (22:04 +0200)
committerStephane Glondu <steph@glondu.net>
Fri, 21 Aug 2015 20:06:32 +0000 (22:06 +0200)
commitc83e1f92ed45eef515be89a449bfc423d84e02b3
tree4cc0841e05cbc29267c1bb2c32b0e0febfdc6b18
parenteb4a83ab91e2d85a0d097ca4555df6dd43c7176e
Refresh patches
debian/patches/0010-Enable-ocamldoc-to-build-reproducible-manpages.patch