Status changed to closed
Status changed to reopened
mentioned in commit 763496c2
Status changed to merged
Well done.