Thanks megane, looks good. Sign-off attached.
Evan
>From 8ecd82832c24548cdef560402c1b048b36406295 Mon Sep 17 00:00:00 2001
From: megane
Date: Sun, 2 Dec 2018 18:23:44 +0200
Subject: [PATCH] Fix renaming issue with typevars
The 'subst' in simplify-type was not checking what it was renaming so
Hello,
Here's fix to another renaming issue. This is unrelated to the other one
I just sent. Patch message should explain everything.
Regards
>From 849bd565dcf03b1fd03f3426ff4f65810b0dda29 Mon Sep 17 00:00:00 2001
From: megane
Date: Sun, 2 Dec 2018 18:23:44 +0200
Subject: [PATCH] *