Skip to content
Commit 156105c4 authored by Vladimír Čunát's avatar Vladimír Čunát
Browse files

PR template: go back to old option name for now 

The old one works on all nix(os) versions, whereas the new one doesn't
work e.g. on default 16.03 setting. Discussed on #15112.
parent 0967b0d3
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment