Merge pull request #3638 from larsbrubaker/master

fixing bug in MS
This commit is contained in:
Lars Brubaker 2018-08-18 15:50:22 -07:00 committed by GitHub
commit 2263b02bbd
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

@ -1 +1 @@
Subproject commit bfcbde27420ac4f4b7669012eccb4d2209b1cbb9
Subproject commit 5cfb0455f0652c25653e8507cec53719c0c19732