Emptying the Compressor
Is it really necessary to empty the compressor after every use? We do not have that rule for the large compressor, do we need it here? --Lukas (talk) 20:59, 1 May 2024 (CEST)
- Discussed with Patrick: we do not need this rule --Lukas (talk) 00:24, 20 May 2024 (CEST)
