3 ms·
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
by easbar 1y ago
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.