Merge 9910a7919e81cb6c13e80609335feda5bb064616 into…

Authored by khandpur on Fri, Dec 21, 5:26 PM.
This commit has been deleted in the repository: it is no longer reachable from any branch, tag, or ref.

Merged Changes

9910a7919e81Sundeep Khandpur
Merge branch 'master' of into init-fix 
Dec 21 2018
e49495c1b822 khandpur/GitHub
Replace call to unavailable initializer with internal initializer 
Dec 21 2018