Hi,
On Sat, 29 Jun 2013 11:09:05 +0200 intrigeri <intrigeri@???> wrote:
> no ticket, candidate for 0.20 so please merge into devel.
>
> commit 21a884d4e1d9a5ef765cbeec61a5389ad2668a71
> Author: Tails developers <amnesia@???>
> Date: Sat Jun 29 08:38:41 2013 +0000
>
> Set https_proxy and HTTPS_PROXY the same way as http_proxy.
>
> Until Tails 0.18, GNOME did set these environment variables since
> we set its proxy settings. That's not the case anymore in 0.19.
>
> Git access to https:// repositories requires these environment
> variables.
>
> Some day, we might want to get rid of the *_proxy environment
> variables entirely, but we're not at it yet.
>
Merged into devel, thanks!
Cheers