Tag leap.bitmask version 0.8.0rc3
This tag has no release notes.