On Oct 5, 2012, at 2:59 PM, Craig Treleaven wrote: > Note that you don't need the full Git hash. I believe that the first 7 characters is sufficient but I use 8. (Eg "afad8eca".) Makes paths a little less unwieldy! Thanks, Craig! Done in r98429. Greets, Marko