docs: rename PR number of changelog

PR 13079 was merged too soon
This commit is contained in:
zmstone 2024-06-17 17:14:23 +02:00
parent 3ac4ddcbe3
commit 04439fc51f
1 changed files with 0 additions and 0 deletions