Fix to with-optimization-settings.

Thanks to Yehouda Harpaz. Fixes error in backquote syntax.

Fixes #148 (closed)

Merge request reports

Loading