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
It is now integrated in git, will be part of Singular 4.1.0