i've just pushed your patches to the git repo, and will start to prepare a new release in the following days (probably after trying to fix #43634). marking as "fixed", will closed when the new release comes.