user wants the same resources or the same lease
mentioned in merge request !333 (merged)
mentioned in commit 3122ce02
Status changed to closed
