Btw: We can release 5.1 final without Win64 support, so strictly speaking the 5.1 tag can be removed for this bug.
Btw: We can release 5.1 final without Win64 support, so strictly speaking the 5.1 tag can be removed for this bug.