Subject: Re: [bug#27870] tor: Remove 'expensive-hardening' option.
From: [email-masked] (Ludovic Courtès)
To: [email-masked]
Date: Mon, 31 Jul 2017 17:07:55 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

ng0 <[email-masked]> skribis:

> From 4ae53518a53b668d9ac9d0f85771bb8f8645a4f6 Mon Sep 17 00:00:00 2001
> From: ng0 <[email-masked]>
> Date: Sat, 29 Jul 2017 17:26:04 +0000
> Subject: [PATCH] gnu: tor: Remove '--enable-expensive-hardening' option.
>
> * gnu/packages/tor.scm (tor)[arguments]: Remove '--enable-expensive-hardening' option.

Applied, thanks!

Tor was indeed consuming quite a bit of RAM on my laptop, so this is a
welcome change.  Now we know what they meant with “expensive”.  ;-)

Ludo’.