Merge pull request #20724 from elitak/f3
f3: newer git rev, build extra binaries
authored by Jörg Thalheim and committed by GitHub 9 years ago 03d3531f 5d5346d8