On 7/18/2013 11:56 AM, Daniele E. Domenichelli wrote: > On 18/07/13 16:32, Brad King wrote: > Done, thanks. I'm sorry, I thought I had to wait for some review before > merging it.
Thanks. I added a sentence to the Git/Develop wiki instructions to indicate that one should either merge or request a review with an explicit post to the list. -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