1. 2019-07-23 [1] WebKitGTK 2.25.3 released! gnome-ann Carlos Garcia 2. 2019-07-20 [1] GNOME Shell Extensions 3.33.4 gnome-ann Florian_Müll 3. 2019-07-20 [1] GNOME Shell 3.33.4 gnome-ann Florian_Müll 4. 2019-07-20 [1] Mutter 3.33.4 gnome-ann Florian_Müll 5. 2019-07-20 [1] gscan2pdf v2.5.5 released gnome-ann Jeff via gnom 6. 2019-07-16 [1] BuildStream 1.3.1 released gnome-ann Tristan Van B 7. 2019-07-16 [1] BuildStream 1.2.8 released gnome-ann Tristan Van B 8. 2019-07-02 [1] WebKitGTK 2.24.3 released! gnome-ann Carlos Garcia 9. 2019-07-01 [1] GNOME Terminal 3.33.3 brings RTL/BiDi support gnome-ann Egmont Koblin