mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
dad9dbcec8
This fixes a behavior in getCurrentRoot that would lead it to reporting an incorrect path if revng was installed in a path with spaces.