Merge branch 'master' into wwrk-2019-06

This commit is contained in:
Jerome Petazzoni
2019-06-01 18:18:18 -05:00

View File

@@ -14,7 +14,7 @@ done
```
```bash
# FIXME find a way to reset the cluster, maybe?
### FIXME find a way to reset the cluster, maybe?
```
-->