1 Oct
2016
1 Oct
'16
6:39 p.m.
El sáb, 01-10-2016 a las 20:34 +0200, Martin Kühne via aur-general escribió:
Ah, never mind. The one you already posted looks okay. You are running git push while in the repository directory, right?
cheers! mar77i Yes, I do -- Juan Martínez <mratmartinez@anche.no>