Merge pull request #6634 from tobiasd/20190210-crepairwarning
authorHypolite Petovan <hypolite@mrpetovan.com>
Mon, 11 Feb 2019 02:17:41 +0000 (21:17 -0500)
committerGitHub <noreply@github.com>
Mon, 11 Feb 2019 02:17:41 +0000 (21:17 -0500)
commitdb607de8cf24a8b345a671bff65d5684640c7156
treec375c3c5c069ae437b9553a18645b0019c0b5514
parent128187dadd45a947e2240a8eba870426ac1dcb36
parent6b5993591bf45d04102b03291e8128642f7e1608
Merge pull request #6634 from tobiasd/20190210-crepairwarning

style the warning in crepair