Merge pull request 'fix(patches): use correct patch file name' (#14) from fix/patches into dev

Reviewed-on: #14
This commit is contained in:
pcaseiro 2023-06-22 13:53:57 +02:00
commit 704bed0d3d