[midi] Fix that libremidi would sometimes not link with boost

ossia · May 5, 2023 · 740bede · 740bede
1 parent 6a2b09c
commit 740bede
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/3rdparty/libremidi b/3rdparty/libremidi