docs: update TODO.xml
commitd3d35e12e6d6367bcc5798a0ee594c9a7b7e4b05
authorNicola Fontana <ntd@entidi.it>
Tue, 26 Mar 2019 08:31:03 +0000 (26 09:31 +0100)
committerNicola Fontana <ntd@entidi.it>
Tue, 26 Mar 2019 08:43:44 +0000 (26 09:43 +0100)
tree1ce03d8453c58402fb2d6af9f89e96b429aabf22
parent543691ee41bd1943f2f5e0b7d11b11f0bd3ec54c
docs: update TODO.xml

TODO.xml has been left abandoned for a long time: let us sync it with
the latest commits.
docs/adg/TODO.xml