Pedro b132ff7a76 Update build.md - minor typo (#696) ...

This is not the smallest PR in the world, this is just a tribute.

(actually, it's just one byte, so it might be the smallest PR in the world)

2023-05-17 09:27:02 -05:00

..

build.md

Update build.md - minor typo (#696)

2023-05-17 09:27:02 -05:00