Hi Thanh,

At the meantime, I will rename the latest sources to 1.20a-rc3 as you suggested.

Please do not go backward. You have enough numbers to use, 1.20c, 1.20d, ... As a stable release version number, you can choose 1.21. Best regards, Akira