[urdfdom] 01/01: Update changelog
Jose Luis Rivero
jrivero-guest at moszumanska.debian.org
Thu Feb 11 01:41:54 UTC 2016
This is an automated email from the git hooks/post-receive script.
jrivero-guest pushed a commit to branch master
in repository urdfdom.
commit 418fb371d94fc464ea6f7bedefd100c264dcdbfb
Author: Jose Luis Rivero <jrivero at osrfoundation.org>
Date: Thu Feb 11 01:41:34 2016 +0000
Update changelog
---
debian/changelog | 2 ++
1 file changed, 2 insertions(+)
diff --git a/debian/changelog b/debian/changelog
index 06f60ed..e4bbc1e 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -4,6 +4,8 @@ urdfdom (0.4.1-1) unstable; urgency=medium
* Update patch. Submitted upstream
* Imported Upstream version 0.4.1
* Patch merged upstream
+ * Migrate boost dependency to generic version
+ (Closes: #812400)
-- Jose Luis Rivero <jrivero at osrfoundation.org> Fri, 05 Feb 2016 00:56:01 +0000
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/urdfdom.git
More information about the debian-science-commits
mailing list