Wilhelm Wiens
Results
2
comments of
Wilhelm Wiens
Do not pull it yet. I have made faulty merge.
Hi, You are probably right. I changed it so it first tries to user wget, then curl, and if that also fails, it suggests the user to download it manually...