v1712 revised for 64bit label-size
This tag has no release notes.