Hi. 2011/3/10 Ludovic Courtès <ludo at gnu.org>: > Vladimír Čunát rightfully noted that ‘git pull’ works well provided ... I meant to send the message to the whole list, but GMail replies by default to the individuals only and I forgot to change it. Vlada