[tor-commits] [tor-browser-build/master] Merge remote-tracking branch 'gk/bug_25930_v3'

[boklm at torproject.org]

commit ae8f6de9939dd372945bea063245ab7123019cb6
Merge: 51e5e85 e8bf133
Author: Nicolas Vigier <boklm at torproject.org>
Date:   Fri May 24 12:20:44 2019 +0200

    Merge remote-tracking branch 'gk/bug_25930_v3'

 projects/gcc/config | 4 ++--
 projects/tor/build  | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)