Merge pull request #4480 from larsbrubaker/master

cleaning warnings
This commit is contained in:
Lars Brubaker 2019-05-01 14:55:23 -07:00 committed by GitHub
commit 5ee33d059e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

@ -1 +1 @@
Subproject commit dbf0ed24fc9665aaea9373bdb2fa7b430b13b926
Subproject commit b444c25684f29c11b963fa7cdb9665106d3818e3