Processed: Re: Bug#847428: Package the Entire "eclipse.jdt.core"

[Debian Bug Tracking System]

Processing control commands:

> fixed -1 3.12.3-1
Bug #847428 [src:ecj] Package the Entire "eclipse.jdt.core"
Marked as fixed in versions ecj/3.12.3-1.
> close -1
Bug #847428 [src:ecj] Package the Entire "eclipse.jdt.core"
Marked Bug as done

-- 
847428: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=847428
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems