Date for version 1.3.2?
Posted: Sun Apr 28, 2019 1:57 pm
Hello,
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.
Cheers,
Guillaume
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.
Cheers,
Guillaume