tree fc4552c4c057130c4ab47f2640f591b8c4e36db4
parent 285f1510193473600929e1183915f6220fabab94
author Bjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com> 1477324140 +0200
committer Bjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com> 1477336841 +0200

Copy and insensitivise maps in Set

Fixes #261
Closes #265