2 ms·I settled on this one too. Far better than nicklohmann's monster build times.by rurban 2y agoI settled on this one too. Far better than nicklohmann's monster build times.