ghc-kinds/poly-typeable.md

@@ -4,7 +4,7 @@
 The page describes an improved implementation of the `Typeable` class, using polymorphic kinds, available from GHC 7.8.  Technically it is straightforward, but it represents a non-backward-compatible change to a widely used library, so we had to make a plan for the transition.
 
 
-Relevant tickets we fixed: [\#5391](https://gitlab.haskell.org//ghc/ghc/issues/5391), [\#5863](https://gitlab.haskell.org//ghc/ghc/issues/5863).
+Relevant tickets we fixed: [\#5391](https://gitlab.haskell.org/ghc/ghc/issues/5391), [\#5863](https://gitlab.haskell.org/ghc/ghc/issues/5863).
 
 ## The `Typeable` class before 7.8
 
@@ -33,7 +33,7 @@ type constructors with higher kinds like
 ```
 
 
-See [\#5391](https://gitlab.haskell.org//ghc/ghc/issues/5391).
+See [\#5391](https://gitlab.haskell.org/ghc/ghc/issues/5391).
 
 ## The new `Typeable` class, in GHC 7.8
 
@@ -145,4 +145,4 @@ If you have code involving `Typeable` that fails to compile with 7.8, it might b
 ## Aside
 
 
-Open question: what are the corresponding changes to `Data.Data`?  See [\#4896](https://gitlab.haskell.org//ghc/ghc/issues/4896).
+Open question: what are the corresponding changes to `Data.Data`?  See [\#4896](https://gitlab.haskell.org/ghc/ghc/issues/4896).