Jason A. Donenfeld Jason at
Fri Jan 10 17:19:37 CET 2014

On Fri, Jan 10, 2014 at 2:07 PM, Stefan Tatschner <stefan at> 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.

More information about the CGit mailing list