Commit ba1cd4950f47e696281888e2ffa94cc77140f59b

Patrick Steinhardt 2018-09-28T11:10:49

Merge pull request #4784 from tiennou/fix/warnings Some warnings