[Development] Bug in fixes bot

[Frederik Gladhorn]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.qt-project.org/pipermail/development/attachments/20181112/01f92527/attachment.html>