Fix for info#16

Merged

devin-petersohn merged 3 commits intodevin-petersohn:rewrite_backendfrom

williamma12:dev

Sep 17, 2018

Commits on Sep 16, 2018

Quick fix for info
williamma12
committed

Commits on Sep 17, 2018