David Yeti wrote: > tl;dr > Bram, please update crontab.vim syntax file to the attached version. > > On Mon, Jan 19, 2015 at 11:04:54AM -0500, James McCoy wrote: > > On Jan 19, 2015 10:30 AM, "Craig Skinner" <[email protected]> wrote: > > > > > > Hi folks, > > > > > > This is my 1st post here: > > > > > > The diff below works to case de-sensitise mth/day in crontab files. > > > > This was already fixed back in 2011 (c.f. revision 0877b8d6370e) but was > > lost in 2012 (c.f. revision 1b584a6f44c). It seems like the "syn case > > ignore"/"syn case match" statements should be readded. > > Mea culpa. > > I do not keep any own master version for these old and rarely updated > files and consider the version in Vim canonical. Unfortunately, I based > the update following the case sensitivity fix on the wrong version so > the first fix was lost. > > I am attaching a version contaning both changes and Ccing Bram. > > Since my ‘maintainer’ role consists nowadays in forwarding a fix > provided by other people every couple of years to Bram (and messing it > up in the process occasionally), I am not sure if I actually add any > value. But, well...
I'll include this version, thanks. The role of the maintainer is to check the changes, if they actually work. How that's done is completely up to the maintainer. And then send the best version to me. -- hundred-and-one symptoms of being an internet addict: 104. When people ask about the Presidential Election you ask "Which country?" /// Bram Moolenaar -- [email protected] -- http://www.Moolenaar.net \\\ /// sponsor Vim, vote for features -- http://www.Vim.org/sponsor/ \\\ \\\ an exciting new programming language -- http://www.Zimbu.org /// \\\ help me help AIDS victims -- http://ICCF-Holland.org /// -- -- You received this message from the "vim_dev" maillist. Do not top-post! Type your reply below the text you are replying to. For more information, visit http://www.vim.org/maillist.php --- You received this message because you are subscribed to the Google Groups "vim_dev" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
