On Fri, Dec 15, 2017 at 10:07:44PM +0100, Mattia Rizzolo wrote:
> 'Section: javascript' in d/control is currently marked as half an error
> ('java' being right, and 'script' being error), see the attached
> screenshot.I botched that again? :-( I see the problem. I'll get it fixed soon. Cheers, -- James GPG Key: 4096R/91BF BF4D 6956 BD5D F7B7 2D23 DFE6 91AE 331B A3DB
