Re: Options for resolving the minted + shell-escape issue

[Jürgen Spitzmüller]

Am Mittwoch, den 09.08.2017, 17:11 +0200 schrieb Enrico Forestieri:
> Please, can you check if the attached patch addresses your concern?

Yes, it does. Thanks.

Jürgen

signature.asc
Description: This is a digitally signed message part