Improve comment capitalization consistency#2900
Merged
shiftkey merged 1 commit intogithub:masterfrom Dec 18, 2018
theDrake:patch-1
Merged
Improve comment capitalization consistency#2900shiftkey merged 1 commit intogithub:masterfrom theDrake:patch-1
shiftkey merged 1 commit intogithub:masterfrom
theDrake:patch-1
