On 02.04.14 9:46 , David Favor wrote: > One trick you can do to set a specific version is this... Thanks, after a few git upgrades on my system, everything seems to be in order again. Apparently my git code was unstable or in a wacky state. Cheers, Helmut