deprecate local_opts_set() for options versions powered by withr #8
Description
now seems likely, but blocked by dgkf/options#18
{{ message }}
deprecate
local_opts_set() for options versions powered by withr #8now seems likely, but blocked by dgkf/options#18