Re: [tor-relays] [PATCH] debian package upgrade restart issue