update CHANGELOG for 3.1.2
The change is already in master, this is an after-thought.
Even though the original change was minor, it needed to be reflected in the CHANGELOG because of it's significant context.
GitLab will be updated on 12-Feb-2026 between 12:00 and 14:00. There may be small periods of service instability.
The change is already in master, this is an after-thought.
Even though the original change was minor, it needed to be reflected in the CHANGELOG because of it's significant context.