tree e45e8a9527ae7f91abc9d276aeb4e23ee19ec9f3
parent 3a89f671078831d7388cc89285a28e1def8c8432
author Wenzel Jakob <wenzel.jakob@epfl.ch> 1667250416 +0100
committer Wenzel Jakob <wenzel.jakob@epfl.ch> 1667252202 +0100

fix segfault