Merge branch 'deletions' into 'develop'
authorlambadalambda <gitgud@rogerbraun.net>
Mon, 4 Sep 2017 18:49:55 +0000 (14:49 -0400)
committerlambadalambda <gitgud@rogerbraun.net>
Mon, 4 Sep 2017 18:49:55 +0000 (14:49 -0400)
Deletions

See merge request !26


Trivial merge