dump-header.d: spell out that no headers == empty file [ci skip]
Reported-by: wesinator at github Fixes #3964 Closes #3974
Loading
Please register or sign in to comment
WARNING! Gitlab maintenance operation scheduled for Saturday, 27 September 2025, from 07:00 AM to 4:00 PM GMT (09:00 AM to 6:00 PM CEST)
Reported-by: wesinator at github Fixes #3964 Closes #3974