Thanks and maybe a newer version could get stabilised.
3.1.5 has already been added today.
Sorry for bothering then.
No problem, that reminded me that a new stable request is overdue ;) I'll probably ask it on 3.1.3.1 next week, as >3.1.4 versions will have to wait for new wxGTK stabling anyway