tech-kern archive

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

re: Merge of rmind-uvmplock branch



> Unless anyone objects, I will merge rmind-uvmplock branch.  The technical
> objectives of the branch are described here:
[ .. ]

i will be very glad when this change is merged!

thanks for all your work on it.


.mrg.


Home | Main Index | Thread Index | Old Index