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)
commitea57e42b257ac49c1e9383fac8e5d8d6d961b8c8
tree5fb62ba9f4ce108a08155ff4d270aab5de313d9e
parent10e40206c6890cc1d88a391ab620ef859ed71521
parent632e1f7943b8736d2f4084bfcb347c448eac7252
Merge branch 'deletions' into 'develop'

Deletions

See merge request !26