On Mon, Nov 14, 2016 at 11:24:35PM -0800, Jean-Pierre Flori wrote:
>    Hi Hans,
> 
>    I mistakenly thought that this patch made it into 4.0.3p4.
>    Would you consider including it into 4.1.0 as it seems you're going for it
>    now?
> 
>    Best,
>    JP
It is now integrated in git, will be part of Singular 4.1.0
Hans