Fix anchor for missing heading

This commit is contained in:
Mart van de Ven 2023-04-19 20:43:41 +08:00
parent 46f4fd79af
commit 66f5f76a6c
No known key found for this signature in database
GPG Key ID: 7FB8216A56B728F4