Add persistent repository filters to issue menu - #10

Add persistent repository filters to issue menu#10

jellebuning merged 1 commit into

mainbuning-software/kontext:mainfrom

features/9-improve-menu-look-and-feelbuning-software/kontext:features/9-improve-menu-look-and-feelCopy head branch name to clipboard