On Fri, Mar 14, 2008 at 4:02 PM, Paul Gier <pgier(a)redhat.com> wrote:
You're right, that is a pain for you compared to the thirdparty
repo. I'll
deploy CR13 for you, and write up the commands so that you can easily script the
process.
I will release a new build shortly, but it could be useful if the repo
went through a serious cleanup, I think.
Rémy