Date: Saturday, September 8, 2018 @ 01:20:23 Author: heftig Revision: 378741
community2extra: Moving gtksourceview4 from community to extra Deleted: gtksourceview4/
Jan Steffens via arch-commits Fri, 07 Sep 2018 18:21:01 -0700
Date: Saturday, September 8, 2018 @ 01:20:23 Author: heftig Revision: 378741
community2extra: Moving gtksourceview4 from community to extra Deleted: gtksourceview4/