[tor-commits] [torspec] 14/14: Merge remote-tracking branches 'tor-gitlab/mr/114' and 'tor-gitlab/mr/115'