Commit a7d0d14fb03243f571b801804d1b5ac9a2aee725

Edward Thomson 2019-01-23T00:07:40

deprecation: move deprecated bits to deprecated.h