Remove trollop sources (#3623)
5ac25e4f1990875f74fd1ad54b65059fc6e7c018 removed the package, but didn'tremove the sources.
Remove trollop sources (#3623)
5ac25e4f1990875f74fd1ad54b65059fc6e7c018 removed the package, but didn't
remove the sources.