patch property

int patch
getter/setter pair

Implementation

int patch = 0;