counter gets defined to late
cgnieder opened this issue · comments
Clemens Niederberger commented
Not a bug actually, see corrected answer. This is at least the second time that users tried to set these options as parameters. It would not be unreasonable to have those, actually.