On 10/21/2016 10:30 AM, Tobias Hunger wrote: > Yes, this change is correct. I stumbled over this myself this afternoon. Thanks. I've submitted a MR with the prose updated too here: https://gitlab.kitware.com/cmake/cmake/merge_requests/191 -Brad