On 09/03/21 13:06, Philippe Mathieu-Daudé wrote:
Newfangled witchy magic!I'm happy to change it if you think it beneficial.I then saw the next patch which keeps modifying the same function, so this might not be a great improvement after all.
Yeah I was also going to suggest it but considering patch 2 it doesn't really flow well.
paolo
