Bors commenting after months?

[matthiasbeyer]

What happened here?

Bors commented months after the PR was successfully merged by bors itself...