On Mon, 28 Jul 2014 22:59:40 +0200, John <phoenixoverride(a)gmail.com> wrote:
Why not just move them to an extension? moving them to
their own repo
begs
for a headaches
I don't understand the problem you see here nor the solution you're
proposing. Elaborate?
--
Matma Rex