Hi @casio
This was a development branch when you pulled it, yes? You might just need to pull it again now (dev work is now pointed to 24.2.4).
If these do turn out to be persistent, you can open issue tickets here with the details → GitHub · Where software is built and someone will take a look. Maybe something was unintentionally changed!
Thanks! 