releases-dropdown - Add "Hide pre-releases" filter#9741

fregante wants to merge 1 commit into

mainrefined-github/refined-github:mainfrom

releases-dropdownrefined-github/refined-github:releases-dropdownCopy head branch name to clipboard