Commit 40b04db6 authored by Philipp Hörist's avatar Philipp Hörist

Windows: Update dev_env.sh

Fixes #10315
parent 63bc4f04
Pipeline #6592 passed with stages
in 9 minutes and 20 seconds