j
k
j a
j l
Mário Gamito wrote on Sat, 10 Jan 2009 13:41:42 +0000:
Isn't there another repo one can manually configure ?
I would just wait until it's fixed. (It's fixed now!)
Kai
Back to the thread
Back to the list