Antonio Rojas via arch-commits Sat, 22 Dec 2018 01:20:15 -0800
Date: Saturday, December 22, 2018 @ 09:19:53 Author: arojas Revision: 342666
extra2community: Moving vice from extra to community Deleted: vice/