Skip to content
Back to pull request #19364

Make terminal.option_as_meta=false in default settings #20260

Sign in to view logs

Make terminal.option_as_meta=false in default settings

Make terminal.option_as_meta=false in default settings #20260

This job succeeded