Merge branch 'tor-gitlab/mr/713'