Closed weyfonk closed 7 years ago
Hi,
thanks a lot. I will try to review your patch as soon as I have some time.
Hi @lanoxx, thanks for your great feedback. Please feel free to let me know should you feel that further changes would be necessary to merge this.
This was already merged into master, right? Maybe it should be closed then...
Closing as it was already merged.
Right. So I messed some things up with my git setup (and learned a few don'ts in the process), apologies to folks watching #251 and receiving a bunch of emails. Additional command-line options should now override the ones specified in the config file, even if said file is itself specified via command-line.