[Pkg-osm-commits] [SCM] osm-gps-map branch, master, updated. debian/0.7.3-3-17-g7e2991c

[David Paleino]

The following commit has been merged in the master branch:
commit 85aa2250e8b4c100fe168971b22fa07e45de67a4
Author: David Paleino <dapal at debian.org>
Date:   Sun Dec 15 00:04:33 2013 +0100

    Correct section

diff --git a/debian/control b/debian/control
index 1142524..15dedee 100644
--- a/debian/control
+++ b/debian/control
@@ -71,6 +71,7 @@ Description: GTK+ library to embed OpenStreetMap maps - debugging symbols
  Python bindings.
     
 Package: gir1.2-osmgpsmap-1.0
+Section: introspection
 Architecture: any
 Depends: ${misc:Depends}
  , ${gir:Depends}

-- 
GTK+ library to embed OpenStreetMap maps