Skip to content

do not build and install jumpnbump-menu by default anymore

It depends on the obsolete and unmaintained PyGTK. Leave it as an opt-in.

Merge request reports