Dear developers Since the update of the git server (thanks a lot, Pavel!), I get a message telling me that the file pending to be committed has been erased on my disk. Happily this is not true, but a bit disturbing. Do you see this ? -- Jean-Pierre