Re: [patch] insetlisting/caption

[Jürgen Spitzmüller]

José Matos wrote:
> These two issues are orthogonal, if there is a file format change we honour
> it even if it is inside the same development series. :-)

You're right (and Bo already convinced me in PM). 

Jürgen