Bug#950947: RM: tophat -- ROM; obsolete

[Alex Mestiashvili]

Package: ftp.debian.org
Severity: normal

I'd like to request removal of tophat. It is obsoleted and substituted 
by hisat2.

Best regards,
Alex