On Fri, Jan 10, 2014 at 2:07 PM, Stefan Tatschner <[email protected]> wrote: > I have created an upstream pull request and it got merged after 30 > seconds [1]. Moreover it seems like the cmakelists.txt thing was also > fixed [2].
Nice! Great! > > Should I remove the filename mapping thing in my patch according to > upstream or should I keep this until the next pygments release? Yea, go ahead and remove that, and resubmit. When pygments releases, it'll automatically have that improved functionality. _______________________________________________ CGit mailing list [email protected] http://lists.zx2c4.com/mailman/listinfo/cgit
