> > An excellent point. What should we call our extra that is not the > > upstream extra? > > perhaps tie this in with the earlier discussion about el7-repo and call > everything we do el7-redsleeve ? > I fear creativity runs a bit low here :)
I assume "extra-extra" is also a bad name
I fear my creativity runs a bit too high here :P
Bjarne
_______________________________________________ users mailing list [email protected] http://lists.redsleeve.org/mailman/listinfo/users
