Flint: Improve hotfixes merged from 1.9
Few hotfix have been merged to master, but they have to be done in a better way.
This have to be properly reworked before.
I have no time to deal with it right now.
Few hotfix have been merged to master, but they have to be done in a better way.
This have to be properly reworked before.
I have no time to deal with it right now.