Refresh tab headers when showing an existing tab.
authorMathieu Baudier <mbaudier@argeo.org>
Fri, 9 Oct 2020 12:11:52 +0000 (14:11 +0200)
committerMathieu Baudier <mbaudier@argeo.org>
Fri, 9 Oct 2020 12:11:52 +0000 (14:11 +0200)

No differences found