diff options
author | Joey Hess <joey@gnu.kitenet.net> | 2009-05-18 15:42:51 -0400 |
---|---|---|
committer | Joey Hess <joey@gnu.kitenet.net> | 2009-05-18 15:42:51 -0400 |
commit | f89b688d5eb629f0e6a1e374ff5a471d62020f64 (patch) | |
tree | 1f84e132e8129bb9f88502bb44d2086a1a1e4176 /debian/changelog | |
parent | f68498211da1aec1aeddd94cb778645e2f0f4c2d (diff) |
dh_strip: Also strip OCaml shared libraries. (Stephane Glondu) Closes: #527272
Diffstat (limited to 'debian/changelog')
-rw-r--r-- | debian/changelog | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog index 19f3df6e..adc29a2d 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,10 @@ +debhelper (7.2.15) UNRELEASED; urgency=low + + * dh_strip: Also strip OCaml shared libraries. (Stephane Glondu) + Closes: #527272 + + -- Joey Hess <joeyh@debian.org> Mon, 18 May 2009 15:42:04 -0400 + debhelper (7.2.14) unstable; urgency=low * dh: Avoid writing log after override_dh_clean is run. Closes: #529228 |