Date: Tuesday, March 17, 2020 @ 12:49:44 Author: arojas Revision: 377816
No longer needed Deleted: gnome-doc-utils/
[arch-commits] Commit in (gnome-doc-utils)
Antonio Rojas via arch-commits Tue, 17 Mar 2020 05:50:22 -0700
Antonio Rojas via arch-commits Tue, 17 Mar 2020 05:50:22 -0700
Date: Tuesday, March 17, 2020 @ 12:49:44 Author: arojas Revision: 377816
No longer needed Deleted: gnome-doc-utils/