Date: Monday, July 18, 2022 @ 18:48:04
  Author: heftig
Revision: 451437

extra2community: Moving gtksourceview3 from extra to community

Deleted:
  gtksourceview3/

Reply via email to