Can you add a 64bit branch to the main git repo so that it can be used as a target for 64bit PRs?

george moromisato 11 Apr 2022:

Sorry it took so long. Just created a 64bit branch. Let me know if it works for you.