On Mon, 20 Feb 2017 14:08:40 +0000, sebb wrote:
On 20 February 2017 at 13:06, Gilles <[email protected]> wrote:Hi.Can someone with the privilege to update this fileAFAIK you should be able to do this yourself ...
Right; I had done the checkout from "http://"; instead of "https://";. Sorry for the noise, Gilles
[...]
--------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
