Merge pull request #25231 from veprbl/root_6.09.02
root: 6.08.02 -> 6.09.02
authored by Jörg Thalheim and committed by GitHub 8 years ago ea706bd9 0eaddb05