Hi all,
I had a bug in the bot closing issues. It may have accidentally assigned fix version 5.12.0 beta 4 instead of 5.12.1 when changes went into 5.12 after the 5.12.0 branching. That's fixed now and the bot is running again after taking a break this afternoon. Cheers, Frederik
_______________________________________________ Development mailing list Development@qt-project.org http://lists.qt-project.org/mailman/listinfo/development
