Skip to content

Fix cmdline ignoring default freq spec

The gwinc command ignored any default frequency spec set by a Budget. This fixes it.

Merge request reports