On Tue Oct 24 17:51:17 2023 +0000, eric pouech wrote:
what about using WCMD_skip_leading_spaces() instead?
Doable, would result in ``` } while (!*WCMD_skip_leading_spaces(extraData)); ``` I will make this part of the next push, I can integrate(fixup) this in the final force-push.