On Tue, 2019-04-16 at 00:28 -0300, Marcos Paulo de Souza wrote:> * @set_flags: flags of @setThe above does not look very helpful to me ...Bart.