tree a5f564e1c66d684bc97537cef9db6e53f4a40324
parent bcb291fdfafeb75d84a93afb7b695c2cd287eb50
author Andrea Pescetti <pescetti@apache.org> 1605449253 +0100
committer Andrea Pescetti <pescetti@apache.org> 1605449253 +0100

Fix instructions.