On Wed, Jun 1, 2022 at 12:05 PM Aurélien Bertron
History may have been rewritten .. which is a no-no, but of course can happen.
That is definitely a valid commit, as it was tested before integration.
But now the commit is dangling and not on the devel branch (it is
still valid, just not on that branch).
I'll run a few tests and fix it up shortly.
- Thou shalt not follow the NULL pointer, for chaos and madness await
thee at its end
- "Use the force Harry" - Gandalf, Star Trek II