[metapost] MPlib: detect bye/end

[Nicola]

On 15/12/2016 15:23, Nicola wrote:
> On 15/12/2016 12:48, luigi scarso wrote:

>> MetaPost rev. 2107 has a new function mp_finished that returns
>> mp->finished as boolean,

Luigi, is rev. 2107 publicly available?

Nicola