Re: [PATCH 2/5] Documentation: use preferred name for the 'todo list' script

[Johannes Schindelin]

Hi Liam,

On Sun, 26 Nov 2017, Liam Beguin wrote:

> Use "todo list" instead of "instruction list" or "todo-list" to
> reduce further confusion regarding the name of this script.

Makes sense,
Johannes