Processing commands for cont...@bugs.debian.org: > owner 959832 ! Bug #959832 [wnpp] RFP: checker-framework-java -- Framework that enhances Java’s type system to make it more powerful and useful Owner recorded as Olek Wojnar <o...@debian.org>. > retitle 959832 ITP: checker-framework-java -- Framework that enhances Java’s > type system to make it more powerful and useful Bug #959832 [wnpp] RFP: checker-framework-java -- Framework that enhances Java’s type system to make it more powerful and useful Changed Bug title to 'ITP: checker-framework-java -- Framework that enhances Java’s type system to make it more powerful and useful' from 'RFP: checker-framework-java -- Framework that enhances Java’s type system to make it more powerful and useful'. > thanks Stopping processing here.
Please contact me if you need assistance. -- 959832: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=959832 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
