This repository was archived by the owner on May 22, 2025. It is now read-only.
Observers should now be able to actually unignore ignored stuff with the notification preferences verb#7319
Merged
Amelia0010 merged 2 commits intoyogstation13:masterfrom Dec 13, 2019
