On Tue, Jul 26, 2011 at 04:51:27PM +0000, Debian Bug Tracking System wrote: > * Update fix-bang-pattern.diff patch to add LANGUAGE option BanPatterns to > generated code (Closes: #635113).
Thanks; I just tried the new version and it seems to work. One further refinement: this means the patch no longer needs to change the OPTIONS_GHC line in Alex's own scanner. - Josh Triplett -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
