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