Enable OptionsManager warning for unused options. #20
Description
Port over from firedrakeproject/firedrake#3999
{{ message }}
Enable
OptionsManager warning for unused options. #20Port over from firedrakeproject/firedrake#3999