Fix corr notification bug
authorBenjamin Auder <benjamin.auder@somewhere>
Mon, 1 Jun 2020 15:43:20 +0000 (17:43 +0200)
committerBenjamin Auder <benjamin.auder@somewhere>
Mon, 1 Jun 2020 15:43:20 +0000 (17:43 +0200)

No differences found