Merge branch 'dev' of github.com:mickael-menu/libpirt into dev
Merge branch 'dev' of github.com:mickael-menu/libpirt into dev