This repository has been archived by the owner on Apr 26, 2024. It is now read-only.
Remove redundant checks on room forgottenness#3583
Merged
richvdh merged 3 commits intodevelopfrom rav/remove_who_forgot_in_roomJul 24, 2018
+2-46