FYI @DRE-Team, similar to a few weeks ago, the ‘Changelog since git revision’ reference for proposal 131055 (above) is incorrect - at least as I understand it.
Proposal 131055 stems from commit 6135fdc (highlighted in the git graph illustration above), not a3831c8 which is actually a future commit with respect to the head 131055 proposal commit (0d2b396) and is also on a separate branch (illustrated in the git graph above).