Remove an entry from the TODO list
Remove an entry from the TODO list

This has been implemented by now.

tyll/libinfinity,gobby/libinfinity,tyll/libinfinity,gobby/libinfinity,gobby/libinfinity,tyll/libinfinity