on 15/11/2012 23:44 Attilio Rao said the following: > Do you think you can test this patch?: > http://www.freebsd.org/~attilio/lockmgr_forcerec.patch I will use this patch in my tree, but I think that it is effectively already quite well tested by using INVARIANTS+WITNESS. -- Andriy Gapon