Paulus Schoutsen fbb18f12db
Add some supervisor improvements (#522)
* Add some supervisor improvements

* Clarify title
2020-05-13 12:57:01 +02:00
..
2020-05-11 22:42:00 +02:00
2020-01-13 21:55:41 +02:00
2019-01-28 15:37:28 -08:00
2020-02-19 19:36:13 +00:00
2020-05-11 12:07:17 +02:00
2018-06-04 16:33:11 -04:00
2020-01-13 21:55:41 +02:00
2018-04-24 15:44:32 -04:00