Replace todo.m with GitHub issues (#14-17)#18

Merged

rtopfer merged 1 commit intomasterfrom rt/todo-into-githubissues#13

Jun 22, 2020

-207

Commits on Jun 22, 2020

DOC: Delete todo.m and todo.md, replace items with GitHub issues
rtopfer
committed