Jason A. Donenfeld
Jason at zx2c4.com
Fri Jan 10 17:19:37 CET 2014
On Fri, Jan 10, 2014 at 2:07 PM, Stefan Tatschner <stefan at sevenbyte.org> wrote:
> I have created an upstream pull request and it got merged after 30
> seconds . Moreover it seems like the cmakelists.txt thing was also
> fixed .
> 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