Your search for `gnome-shell-extension-radio is:open`

Hint

Refine your search with filters like is:open, author:me, submitter:me, severity:serious, tag:easy, date:2d..now, date:2012-04-18..2022-04-18, date:1m..today, and many more!

ID	Subject	Date submitted	Status
74726	patch [PATCH gnome-team 00/18] Update GNOME Shell extensions	Sat Dec 07 13:58:25+0100 2024	Open
60700	moreinfo patch [PATCH] gnu: Add gnome-shell-extension-fly-pie	Tue Jan 10 02:23:25+0100 2023	Open

is:open	open issues
is:done	closed issues
submitter:<who>	search issue submitter
author:<who>	search by message author
date:yesterday..now	search by issue date
mdate:3m..2d	search by message date

Your search for gnome-shell-extension-radio is:open

Your search for `gnome-shell-extension-radio is:open`