[josm] 01/01: Mark 09-josm-default-options.patch as Forwarded.

[Bas Couwenberg]

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

sebastic pushed a commit to branch master
in repository josm.

commit d5d5ac41f72cda800e22cf3943560076d6711324
Author: Bas Couwenberg <sebastic at xs4all.nl>
Date:   Sun Jun 19 19:46:27 2016 +0200

    Mark 09-josm-default-options.patch as Forwarded.
---
 debian/patches/09-josm-default-options.patch | 1 +
 1 file changed, 1 insertion(+)

diff --git a/debian/patches/09-josm-default-options.patch b/debian/patches/09-josm-default-options.patch
index e6e4a36..c29634a 100644
--- a/debian/patches/09-josm-default-options.patch
+++ b/debian/patches/09-josm-default-options.patch
@@ -2,6 +2,7 @@ Description: Use /etc/default/josm to configure Java options.
 Author: Stéphane Brunner (https://launchpad.net/~stephane-brunner)
 Author: Bas Couwenberg <sebastic at debian.org>
 Bug-Ubuntu: https://bugs.launchpad.net/ubuntu/+source/josm/+bug/287717
+Forwarded: https://josm.openstreetmap.de/ticket/13002
 
 --- a/linux/latest/usr/bin/josm-latest
 +++ b/linux/latest/usr/bin/josm-latest

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-grass/josm.git