Skip to content

Robust way of checking apt(-get) locks#747

Merged
MatthijsBurgh merged 2 commits intomasterfrom robust_apt_lockAug 20, 2024