0000000000000000000000000000000000000000 9e51c4fdfd3a11754dd99d89b6eb4c500e76d658 Panagiotis Misiakos <panagiotis.misiakos@inf.ethz.ch> 1660641811 +0200	clone: from https://github.com/pmisiakos/NoCurl
