0.5.11

Pedro Lara Campos

@pedrohlc

70165c56 · configure: use git describe for version (#117) · Jul 09, 2022

0.5.11

- fix show/hide glitch;
- save/restore window position;
- fix content-reproducibility.