chiark / gitweb /
core: fix lack of notifications after reload