mirror of
https://github.com/corda/corda.git
synced 2025-01-26 14:19:23 +00:00
ef2352a404
* Use github task list format. * Remove (seemingly?) duplicated items. * People keep forgetting to delete the section so give up and just try to ensure the top line is edited. * Add a police emoji to make it clear we're serious