[PATCH] Fix CRISv32 compilation

[Ricard Wanderlof]

On Tue, 3 Sep 2013, Pedro Alves wrote:

>> Ok with me. Thanks for the update. Should I resubmit the patch ?
>
> If there were no changes since the previous post, we just check
> it in (and usually reply back saying so).  If the patch was approved
> with changes, we commit, and reply back saying "this is what I
> checked in", showing the final version.  Ultimately, what this means
> is we always post final version of the patch to the mailing list,
> exactly as it went in.

Ok, then I won't submit an updated patch, as it was ok with the suggested 
change to the ChangeLog.

/Ricard
-- 
Ricard Wolf Wanderlöf                           ricardw(at)axis.com
Axis Communications AB, Lund, Sweden            www.axis.com
Phone +46 46 272 2016                           Fax +46 46 13 61 30