Skip to content
Back to pull request #19364

Make terminal.option_as_meta=false in default settings #20257

Sign in to view logs

Make terminal.option_as_meta=false in default settings

Make terminal.option_as_meta=false in default settings #20257

This job succeeded