f525160 Merge pull request #406 from jniederm/id-fix

1 file Merged by Marek Libra 6 years ago, Committed by GitHub 6 years ago,
    Merge pull request #406 from jniederm/id-fix
    
    New VM id generation fix