Date: Monday, July 18, 2022 @ 18:48:04 Author: heftig Revision: 451437
extra2community: Moving gtksourceview3 from extra to community Deleted: gtksourceview3/
Jan Steffens via arch-commits Mon, 18 Jul 2022 11:48:28 -0700
Date: Monday, July 18, 2022 @ 18:48:04 Author: heftig Revision: 451437
extra2community: Moving gtksourceview3 from extra to community Deleted: gtksourceview3/