Markus Mäkelä dbeb208a5c Remove unnecessary function from header
The function was only used in one place.

Also added a debug assertion for the monitor event detection mechanism.
2017-01-19 16:03:05 +02:00
..
2016-10-14 19:50:54 +03:00
2017-01-19 15:53:25 +02:00
2016-12-12 10:48:49 +02:00