5 Dec
2012
5 Dec
'12
11:51 a.m.
On 5 December 2012 17:10, Morten Rasmussen morten.rasmussen@arm.com wrote:
You want me to drop eed72c8 and a1924a4 ? Correct.
Yes.
Done. Updated my repo with v13.