Skip to content

Remove ghctags (#16274)

Sylvain Henry requested to merge hsyl20/ghc:hsyl20-remove-ghctags into master

Remove ghctags as discussed on ghc-devs and in #16274 (closed)

Merge request reports