Fix for Pico Patcher.

Signed-off-by: Pol Henarejos <pol.henarejos@cttc.es>
This commit is contained in:
Pol Henarejos
2024-07-15 14:41:28 +02:00
parent b429616895
commit 3cae928de8