Ulrike Uhlig Tue, 27 Nov 2018 06:21:34 -0800
Hi, thank you for this bug report. I confirm this behavior and thus I've forwarded it to Tor's bugtracker.
Cheers Ulrike