Processed: oops, duplicate report

[Debian Bug Tracking System]

Processing commands for control@bugs.debian.org:

> severity 313555 grave
Bug#313555: java-package: make-jpkg does not detect sun j2sdk because of wrong DEB_BUILD_GNU_TYPE
Bug#314234: java-package: appears broken in sid for j2sdk-1_4_2_08 and jdk-1_5_0_03
Severity set to `grave'.

> severity 314234 grave
Bug#314234: java-package: appears broken in sid for j2sdk-1_4_2_08 and jdk-1_5_0_03
Bug#313555: java-package: make-jpkg does not detect sun j2sdk because of wrong DEB_BUILD_GNU_TYPE
Severity set to `grave'.

> merge 313555 315216
Bug#313555: java-package: make-jpkg does not detect sun j2sdk because of wrong DEB_BUILD_GNU_TYPE
Bug#315216: DEB_BUILD_GNU_TYPE changed
Bug#314234: java-package: appears broken in sid for j2sdk-1_4_2_08 and jdk-1_5_0_03
Merged 313555 314234 315216.

> thanks
Stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)