On Thu, Sep 24, 2020 at 08:49:50PM +0200, Pavel Stehule wrote:> fixed patch attached
It looks like there are again conflicts within setrefs.c.--Michael