[urdfdom] 01/02: Fix priorities

[Jose Luis Rivero]

This is an automated email from the git hooks/post-receive script.

jrivero-guest pushed a commit to branch master
in repository urdfdom.

commit d79e0fc8d6645b99abf08f1cc8e0cfc51c232c4a
Author: Jose Luis Rivero <jrivero at osrfoundation.org>
Date:   Sun Jul 6 22:08:00 2014 +0200

    Fix priorities
---
 debian/control | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/debian/control b/debian/control
index 7cbaaad..7404494 100644
--- a/debian/control
+++ b/debian/control
@@ -3,7 +3,7 @@ Maintainer: Debian Science Maintainers <debian-science-maintainers at lists.alioth.
 Uploaders: Thomas Moulard <thomas.moulard at gmail.com>,
            Jose Luis Rivero <jrivero at osrfoundation.org>
 Section: libs
-Priority: extra
+Priority: optional
 Build-Depends: debhelper (>= 9), cmake,
 	       libboost-dev,
 	       libtinyxml-dev,
@@ -91,6 +91,7 @@ Description: URDF DOM - development files
 Package: liburdfdom0.3-dbg
 Architecture: any
 Section: debug
+Priority: extra
 Depends: liburdfdom-model0.3 (= ${binary:Version}),
 	 liburdfdom-model-state0.3 (= ${binary:Version}),
 	 liburdfdom-sensor0.3 (= ${binary:Version}),

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/urdfdom.git