Merge pull request #30217 from gnidorah/hotpatch
hotpatch: init at 0.2
authored by Jörg Thalheim and committed by GitHub 8 years ago 16a43e45 64a94834