GNU bug report logs - #25541
[PATCH] Some small bat-mode fixes

Previous Next

Full log

View this message in rfc822 format

From: Eli Zaretskii <eliz <at> gnu.org>
To: Vladimir Panteleev <git <at> thecybershadow.net>
Cc: 25541 <at> debbugs.gnu.org
Subject: bug#25541: [PATCH] Some small bat-mode fixes
Date: Fri, 27 Jan 2017 11:57:19 +0200

> From: Vladimir Panteleev <git <at> thecybershadow.net>
> Date: Thu, 26 Jan 2017 04:36:21 +0000
> 
> These fix a few issues with fontification and fill-paragraph in
> bat-mode (used for Windows .bat and .cmd files). Tests included.

Thanks.  These look good to me, but the sum total of the code exceeds
the amount we can accept without an assignment of copyright to the
FSF.  Would you be willing to do the legal paperwork needed for that?
if you will, I'll send you the form to start that rolling (off-list).

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.