Releases around GNOME/gnome-shell-extensions 3.9.5 on GNOME GitLab

Maybe you can find something interesting in this list
github
freenginx/nginx on GitHub release-1.5.3
github
pylint-dev/astroid on GitHub astroid-debian-version-1.0.0-1
freedesktop-gitlab
gstreamer/gstreamer on Freedesktop GitLab gst-plugins-bad-1.0.9
gnome-gitlab
GNOME/gnome-control-center on GNOME GitLab GNOME_CONTROL_CENTER_3_9_5
freedesktop-gitlab
gstreamer/gstreamer on Freedesktop GitLab gst-plugins-good-1.0.9
github
FarGroup/FarManager on GitHub builds/3.0.3584
freedesktop-gitlab
gstreamer/gstreamer on Freedesktop GitLab gst-plugins-ugly-1.0.9
freedesktop-gitlab
gstreamer/gstreamer on Freedesktop GitLab gst-plugins-base-1.0.9 1.0.9

Don't miss a new release

NewReleases is sending notifications on new releases.