Frederik Gladhorn
2018-11-12 22:04:48 UTC
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
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