The following reply was made to PR docs/175239; it has been noted by GNATS. From: Schaich Alonso <alonsoschaich at fastmail.fm> To: bug-followup at FreeBSD.org Cc: Subject: Re: docs/175239: sem_wait can be interrupted Date: Sun, 12 May 2013 23:34:28 +0200 seems to have been fixed by r249566, r249644