The solution of Issue 435 was known to have an effect on PR 408. We had missed doing a catch-up merge after 435's PR was merged prematurely.
This bugfix PR resolves a conflict between the PRs, and should be merged as soon as the CIs in the checklist finish. Also, should the vote for issue 435 not pass, this PR will need to be reverted. It will not be necessary to post documentation to the 1.0.0 release page for this PR.
The solution of Issue 435 was known to have an effect on PR 408. We had missed doing a catch-up merge after 435's PR was merged prematurely.
This bugfix PR resolves a conflict between the PRs, and should be merged as soon as the CIs in the checklist finish. Also, should the vote for issue 435 not pass, this PR will need to be reverted. It will not be necessary to post documentation to the 1.0.0 release page for this PR.
Coordination
unstable
branch (0fb5c9b)unstable
branch tracking UCO'sunstable
as submodule (91cc9d0)