Authored by bgamari on Mar 6 2017, 9:43 PM.

Description

Fix comment

Details

Committed
bgamariMar 7 2017, 12:32 PM
Pushed
bgamariMar 7 2017, 12:40 PM
Parents
rGHCDIFF99fe579d8f95: Typos in changelog and comments
Branches
Unknown
Tags
Unknown