On Mon, Dec 3, 2018 at 7:02 PM Pavel Stehule <pavel(dot)stehule(at)gmail(dot)com> wrote:> It can works :). Please, assign it to next commitfest.
Ok