On 12/07/2012 06:12 AM, Stephen Kelly wrote: > Brad King wrote: > >> IMO the policy is worthwhile anyway. I reverted your previous >> topic using the above approach and replaced it with this: >> >> http://cmake.org/gitweb?p=cmake.git;a=commitdiff;h=2a0a5c78 > > I suggest renaming the new policy to the CMP0019 spot and not reserving any > policies that won't be in the same release as that commit.
Okay. I added this commit to 'next' to rename it: http://cmake.org/gitweb?p=cmake.git;a=commitdiff;h=f3953103 though that will never go to 'master'. Instead I squashed it: http://cmake.org/gitweb?p=cmake.git;a=commitdiff;h=711b63f7 Please rebase your other topics and renumber the policies. Thanks, -Brad -- Powered by www.kitware.com Visit other Kitware open-source projects at http://www.kitware.com/opensource/opensource.html Please keep messages on-topic and check the CMake FAQ at: http://www.cmake.org/Wiki/CMake_FAQ Follow this link to subscribe/unsubscribe: http://public.kitware.com/cgi-bin/mailman/listinfo/cmake-developers
