31 Mar
2014
31 Mar
'14
11:27 a.m.
On 03/31/2014 01:12 PM, Daniel James wrote:
An appropriate merge base would be dd73949749da272867bef1c5bcb5d2925601c020, apart for a file permission difference, it's identical to the previous commit on origin/master. I'll do that tonight if no one objects - it's a good idea to do this whatever we do with the changes in develop.
That will suit me just fine.