docs: fix deprecated git:// URL in installation guide#1675
Merged
tleonhardt merged 2 commits intoJun 5, 2026
Merged
background
wait
wait-all
cancel
parallel
Loading