Merge branch 'sh-fix-short-options' into 'master'
Use curl --remote-name instead of curl -O to fix broken docs lint See merge request !2209
Showing
Please register or sign in to comment
Use curl --remote-name instead of curl -O to fix broken docs lint See merge request !2209