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