HACKING.md: fix minor typo (#382)
commitd622ca48ed01faa3332c1fb31a6868b845d2890a
authorYo Yehudi <yochannah@gmail.com>
Thu, 22 Jun 2023 14:56:09 +0000 (22 15:56 +0100)
committerDavid Miguel Susano Pinto <pinto@robots.ox.ac.uk>
Sat, 1 Jul 2023 16:00:43 +0000 (1 17:00 +0100)
tree186d3248e106058cf4e62bef2ba6422317aef97b
parent38073ee629e67fc2535f40523cf1a2eb2d5cbbf4
HACKING.md: fix minor typo (#382)
HACKING.md