add delay for page reload
authorBenjamin Auder <benjamin.auder@somewhere>
Mon, 18 Jul 2022 13:18:19 +0000 (15:18 +0200)
committerBenjamin Auder <benjamin.auder@somewhere>
Mon, 18 Jul 2022 13:18:19 +0000 (15:18 +0200)

No differences found