Bobby Rong 0fdc2b7ba0 gnome-text-editor: 43.1 → 43.2 ... https://gitlab.gnome.org/GNOME/gnome-text-editor/-/compare/43.1...43.2		2023-01-12 21:47:00 +08:00
..
default.nix	gnome-text-editor: 43.1 → 43.2	2023-01-12 21:47:00 +08:00