On Mon, Oct 29, 2012 at 08:12:46AM +0100, Jakub Narębski wrote: > > Jakub, can you confirm the intent and a fix like the one above makes > > things better? > > Yes, either of those makes things better.
Thanks. > > (unless highlight does this extension > > mapping > > itself, but then why are we doing it here?). > > Highlight does extension mapping itself... but for that it needs file name, > and not to be feed file contents from pipe. Ah, that makes sense. Richard, do you want to roll a patch that fixes it? -Peff -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html