[javassist] 07/08: Update patch header.

[Markus Koschany]

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

apo pushed a commit to branch master
in repository javassist.

commit 60061387839e37895953507618ae206d785dc752
Author: Markus Koschany <apo at debian.org>
Date:   Sun Apr 22 22:15:54 2018 +0200

    Update patch header.
---
 debian/patches/java9.patch | 1 +
 1 file changed, 1 insertion(+)

diff --git a/debian/patches/java9.patch b/debian/patches/java9.patch
index 9fa0cbe..0892917 100644
--- a/debian/patches/java9.patch
+++ b/debian/patches/java9.patch
@@ -2,6 +2,7 @@ From: Markus Koschany <apo at debian.org>
 Date: Sun, 22 Apr 2018 22:08:06 +0200
 Subject: java9
 
+Bug-Debian: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=893196
 ---
  pom.xml | 39 ---------------------------------------
  1 file changed, 39 deletions(-)

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