Commit c22acfa8bd4529583079338150fea4c05abcad41

Luca Bacci 2022-07-06T13:50:47

Fix function pointer typedef