Rasmus Munk Larsen 05bab8139a Fix breakage of conj_helper in conjunction with custom types introduced in !537.
(cherry picked from commit 7b35638ddb99a0298c5d3450de506a8e8e0203d3)
2021-07-02 20:59:50 +00:00
..
2016-01-27 22:48:40 +01:00
2021-03-15 18:42:04 +00:00
2017-11-10 14:11:22 +01:00
2017-11-27 22:11:57 +01:00
2016-01-27 22:48:40 +01:00
2016-01-27 22:48:40 +01:00