mirror of
https://github.com/xemu-project/xemu.git
synced 2026-11-09 15:49:01 +01:00
This avoids potential problems with duplicates. Signed-off-by: Alex Bennée <alex.bennee@linaro.org> Reviewed-by: Philippe Mathieu-Daudé <philmd@redhat.com>