Version 1.3.2
Posted: Mon Jul 19, 2021 9:44 am
Hi there,
A quick question : is version 1.3.2 scheduled anytime soon? Some shortcuts are not working on my computer with version 1.3.1, and this has been corrected since then (Michael Weghorn's commit at the end of 2018). So far I am using the git version, but I would prefer to use my distribution's version, so that I can have automatic updates (I suspect they are waiting for a release to update the package).
Thanks a lot for this great tool, anyway.
Many thanks
Jiro
A quick question : is version 1.3.2 scheduled anytime soon? Some shortcuts are not working on my computer with version 1.3.1, and this has been corrected since then (Michael Weghorn's commit at the end of 2018). So far I am using the git version, but I would prefer to use my distribution's version, so that I can have automatic updates (I suspect they are waiting for a release to update the package).
Thanks a lot for this great tool, anyway.
Many thanks
Jiro