[Pkg-ocaml-maint-commits] [planets] 04/04: standards-version 4.1.0: drop menu, priority=optional

[Ralf Treinen]

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

treinen pushed a commit to branch master
in repository planets.

commit 86bb5f6e190396f7a63ba03745db414a7ee794bb
Author: Ralf Treinen <treinen at free.fr>
Date:   Tue Sep 26 08:20:47 2017 +0200

    standards-version 4.1.0: drop menu, priority=optional
---
 debian/changelog | 9 ++++++---
 debian/control   | 4 ++--
 debian/menu      | 2 --
 3 files changed, 8 insertions(+), 7 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index ec6babb..c97ad1c 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,10 +1,13 @@
-planets (0.1.13-17) UNRELEASED; urgency=medium
+planets (0.1.13-17) unstable; urgency=medium
 
   * debhelper compat level 10
+  * Standards-version 4.1.0:
+    - remove debian/menu since there is an upstream desktop file
+    - change Priority to optional
   * improve wording in long description
-  * fix spelling in d/doc-base.planets-intro
+  * fix spelling in debian/doc-base.planets-intro
 
- -- Ralf Treinen <treinen at debian.org>  Tue, 26 Sep 2017 07:59:26 +0200
+ -- Ralf Treinen <treinen at debian.org>  Tue, 26 Sep 2017 08:18:45 +0200
 
 planets (0.1.13-16) unstable; urgency=medium
 
diff --git a/debian/control b/debian/control
index 9694a43..0a0d82d 100644
--- a/debian/control
+++ b/debian/control
@@ -1,6 +1,6 @@
 Source: planets
 Section: science
-Priority: extra
+Priority: optional
 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
 Uploaders: Martin Pitt <mpitt at debian.org>,
  Samuel Mimram <smimram at debian.org>,
@@ -13,7 +13,7 @@ Build-Depends:
  ocaml (>= 3.11.1-3~),
  ocaml-nox (>= 3.11.1-3~)
 Build-Depends-Indep: tk8.5-dev, camlp4
-Standards-Version: 3.9.5
+Standards-Version: 4.1.0
 Vcs-Git: git://anonscm.debian.org/pkg-ocaml-maint/packages/planets.git
 Vcs-Browser: http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/planets.git
 Homepage: http://planets.homedns.org/
diff --git a/debian/menu b/debian/menu
deleted file mode 100644
index 56f4013..0000000
--- a/debian/menu
+++ /dev/null
@@ -1,2 +0,0 @@
-?package(planets):needs="X11" section="Games/Simulation" \
-  title="planets" command="/usr/bin/planets"

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/planets.git