[Bro-Commits] [git/bro] topic/jsiwek/remove-refined-type: Remove dead code related to record type inheritance. (436be4e)

This looks like it may need a Broccoli change as well.

Robin

Never mind, saw your follow-up change now.

Robin