close my resolved and obsolete PR

From: Anton Shterenlikht <mexas_at_bris.ac.uk>
Date: Tue, 04 Mar 2014 08:18:44 -0800 (PST)
Please close this PR:

http://www.freebsd.org/cgi/query-pr.cgi?pr=kern/158542

I can no longer reproduce the problem.

Thanks

Anton
Received on Tue Mar 04 2014 - 15:18:53 UTC

This archive was generated by hypermail 2.4.0 : Wed May 19 2021 - 11:40:47 UTC