Port-i386 archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

Re: Merge of rmind-uvmplock branch



On Tue, May 31, 2011 at 10:15:36PM +0100, Mindaugas Rasiukevicius wrote:
> Unless anyone objects, I will merge rmind-uvmplock branch.  The technical
> objectives of the branch are described here:

Indeed, and as usual, extraordinary work!

- Jukka.


Home | Main Index | Thread Index | Old Index