Fix DE9 EdgePinOffset4.94mm_MountingHolesOffset7.48mm
This was cherry-picked from the remaining commits/bug fixes as implemented by @cpresser in !1073 (merged).
It is supposed to close the following issue:
Edited by Mojca Miklavec
This was cherry-picked from the remaining commits/bug fixes as implemented by @cpresser in !1073 (merged).
It is supposed to close the following issue: