Merge pull request #3586 from techee/hacking
commit65c8161249e32b2a5269039c1f4838394d6cb37d
authorJiří Techet <techet@gmail.com>
Tue, 10 Oct 2023 10:21:05 +0000 (10 12:21 +0200)
committerGitHub <noreply@github.com>
Tue, 10 Oct 2023 10:21:05 +0000 (10 12:21 +0200)
tree44df3dace6b268484c9a9f0da46ab93fc5d134d6
parente141cdd0cdae5c0634ebcb5ed8decaeb1fa3dc64
parent357f2af9f4b496802b5373fcc656901e543c56d9
Merge pull request #3586 from techee/hacking

Update HACKING with up-to-date build instructions