Processed: merging 477689 812979

Debian Bug Tracking System owner at bugs.debian.org
Sun Oct 1 21:21:06 BST 2023


Processing commands for control at bugs.debian.org:

> merge 477689 812979
Bug #477689 [src:antlr3] Please provide python-antlr3 package
Bug #590945 [src:antlr3] Please provide python-antlr3 package
Bug #477689 [src:antlr3] Please provide python-antlr3 package
Marked as found in versions antlr3/3.5.2-4.
Marked as found in versions antlr3/3.5.2-4.
Bug #590945 [src:antlr3] Please provide python-antlr3 package
Bug #812979 [src:antlr3] Please add python bindings package
Merged 477689 590945 812979
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
477689: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=477689
590945: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=590945
812979: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=812979
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems



More information about the pkg-java-maintainers mailing list