Ok, these are merged now.  FYI, I had a few conflicts when cherry picking
onto the or32 branch, though.  It seems the trees diverged at some point in
the past.

-Pete


On Tue, Apr 22, 2014 at 7:00 PM, Peter Gavin <[email protected]> wrote:

> I just put up a pull request on or1ksim I'd like someone to look at before
> it gets merged.
>
> Also, I guess it isn't set up to notify the list when pull requests are
> made to that repo.  Does anyone know how to change that?
>
> -Pete
>
_______________________________________________
OpenRISC mailing list
[email protected]
http://lists.openrisc.net/listinfo/openrisc

Reply via email to