[io-layer] Remove unused _wapi_sem_id
commitb51db7c8b9f2bea43c51b4dccf43b6a68291fbc5
authorLudovic Henry <ludovic@xamarin.com>
Thu, 30 Jun 2016 12:07:04 +0000 (30 14:07 +0200)
committerLudovic Henry <ludovic@xamarin.com>
Tue, 12 Jul 2016 12:53:23 +0000 (12 14:53 +0200)
tree181d9bfc5a3a18959635b7edc3586fc1066596df
parentadb587c1e9e151ff62c8cf79bc76ed3248c2c483
[io-layer] Remove unused _wapi_sem_id
mono/io-layer/handles-private.h
mono/io-layer/handles.c