Did you update the code?
KProperty::option looks different since Nov 3.
no i didnt.....
Updated
424d555d13c0cf7 is in master already so this rev can be closed, right?