On Mon, Jul 31, 2017 at 10:57:01AM +0200, Guillaume MM wrote: > A key point to me is that, according to your other message, going with > 3. locks 2.3 into implementing Pygments using minted. For this reason > and that it does not solve fundamental issues, there are more reasonable > solutions than the patch at [2] even understood as an intermediary > solution to get beta out.
I now count 4 votes for the patch at [2] and only one against it (if I correctly interpret this post as such). I think this means that a decision can be taken without entering in other exhausting and unfruitful discussions that most probably would go on forever. -- Enrico