Revision 823e7f3247833481dd71afd92a6282f9bce55cf0

Committed on 15/06/2020 4:22 am by Ashish Kulkarni <[email protected]> [GitHub Diff]

use 0.12.6-2 for macOS

fixes #4716

Share your information