Update pointer to new std_lib master commit

This commit is contained in:
Federico Rojas
2023-06-21 15:15:04 +02:00
parent a91e2d54ea
commit 3caea1575c