Improvements to the eventflag API, and some preliminary testing.
Authored by: funkenstein.sw@gmail.com 2013-08-18
Parent: [r76]
Child: [r78]
