Comment by easbar

Another GraphHopper dev here. This is quite odd. Github users should not be able to delete comments of others by simply deleting their account, even for issues they opened themselves.