tree 81784f80be2bf6a61d30e4cfb099a9a01a283087
parent 561c4d6bb28601fb5f2e1de10302a9d8a8505f79
author Andrew Pickford <anpickford@googlemail.com> 1496413697 +0200
committer Andrew Pickford <anpickford@googlemail.com> 1496413697 +0200

deepcopy the options otherwise they are overwritten