Update PATH when running generate_stubs on Windows#637

Merged

jorisv merged 5 commits intojrl-umi3218:masterfrom jorisv:topic/stub_windows_path

Nov 23, 2023

+30-6

Commits on Nov 22, 2023

Commits on Nov 23, 2023