Closed patchback[bot] closed 4 months ago
This is a backport of PR #1010 as merged into main (0b73cdacf560ceef4d3c3dd8de04f4f9898393e2).
Interactive config generation did not allow to specify no headers.
fixes #1008
Review Checklist:
This is a backport of PR #1010 as merged into main (0b73cdacf560ceef4d3c3dd8de04f4f9898393e2).
Interactive config generation did not allow to specify no headers.
fixes #1008
Review Checklist: