Closed PureTryOut closed 4 years ago
Jedi 0.17 has been out since the 14th of April, it would be nice if it would be supported so the update can be shipped to distro repositories.
Duplicate of #744
Jedi 0.17 has been out since the 14th of April, it would be nice if it would be supported so the update can be shipped to distro repositories.