1. 2015-08-18 Re: Removing deleted branches from our mergeinfo subversio Stefan Fuhrmann 2. 2015-08-15 Re: Removing deleted branches from our mergeinfo subversio Daniel Shahaf 3. 2015-08-15 Removing deleted branches from our mergeinfo subversio Stefan Fuhrmann