remove TODO relating to #795
remove TODO relating to #795
jvasileff/ceylon-spec,jvasileff/ceylon-spec,ceylon/ceylon-spec,jvasileff/ceylon-spec,ceylon/ceylon-spec,lucaswerkmeister/ceylon-spec,ceylon/ceylon-spec