gqgunhed 4891ce69e7 Update bootstrap.sh ...

Changes to include more recent Linux/Debian releases

2023-07-10 11:57:29 +02:00

..

local

Update bootstrap.sh

2023-07-10 11:57:29 +02:00