Merge commit '00a0419c7f7ebce9010cba93b7ff67c9f1165815'
authorClément Bœsch <u@pkh.me>
Sat, 18 Mar 2017 22:51:51 +0000 (23:51 +0100)
committerClément Bœsch <u@pkh.me>
Sat, 18 Mar 2017 22:51:51 +0000 (23:51 +0100)
* commit '00a0419c7f7ebce9010cba93b7ff67c9f1165815':
  mathematics: Kill non-compiling disabled cruft

This commit is a noop, see 1e1513d01aa8296d55efab95143e65ccbb152c5f

Merged-by: Clément Bœsch <u@pkh.me>

Trivial merge