Processed (with 1 error): merging 877718 1076228
Debian Bug Tracking System
owner at bugs.debian.org
Fri Jul 12 22:57:06 BST 2024
Processing commands for control at bugs.debian.org:
> merge 877718 1076228
Bug #877718 [jabref] jabref: new upstream version 4.0
Unable to merge bugs because:
forwarded of #1076228 is '' not 'https://github.com/koppor/jabref/issues/135'
severity of #1076228 is 'important' not 'normal'
blockedby of #1076228 is '' not '858809 841020 841011'
package of #1076228 is 'src:jabref' not 'jabref'
Failed to merge 877718: Did not alter merged bugs.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
1076228: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1076228
877718: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=877718
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems
More information about the pkg-java-maintainers
mailing list