On 2018-09-12 08:49:01 [-0700], Andy Lutomirski wrote: > Sure, but the first write is *before* this. So we can be preempted with the two copies of PKRU being out of sync. so it took a while to understand this but now that I did, I will consider this in the next version. Thank you. Sebastian
