Thanks. Merged.

> On 18 May 2019, at 15:40, Peter Müller <peter.mueller(a)ipfire.org> wrote:
> 
> While being built with user/group set to "tor", the default
> configuration still contains the old username.
> 
> This patch adjusts it to the correct value. The issue was
> caused by insufficient testing, which I apologise for.
> 
> Signed-off-by: Peter Müller <peter.mueller(a)ipfire.org>
> ---
> config/tor/defaults-torrc | 2 +-
> 1 file changed, 1 insertion(+), 1 deletion(-)
> 
> diff --git a/config/tor/defaults-torrc b/config/tor/defaults-torrc
> index 703d821fe..ee8f809d9 100644
> --- a/config/tor/defaults-torrc
> +++ b/config/tor/defaults-torrc
> @@ -1,3 +1,3 @@
> DataDirectory /var/lib/tor
> -User nobody
> +User tor
> Log notice syslog
> -- 
> 2.16.4