On 05/04/18 13:14, Leonardo Taccari wrote:
> I think that src/distrib/sets/lists/debug/{shl.,}mi needs to be updated
> as well (possible patch that fixes that is attached).Thanks for the heads up, I had not performed a debug build in my tests. Sevan
