Restore refresh_panel as I think it will sometimes be necessary.
authorCarl Hetherington <cth@carlh.net>
Wed, 8 May 2019 23:52:49 +0000 (00:52 +0100)
committerCarl Hetherington <cth@carlh.net>
Fri, 10 May 2019 22:43:55 +0000 (23:43 +0100)

No differences found