Merge remote-tracking branch 'origin/master' into magda
State machine'd
Merge branch 'magda' of https://github.com/haljin/robust into pawel
Merge branch 'magda'
Merge branch 'pawel'
dets added to vm_stock
Merge branch 'pawel' into marta
vm_control completed
fully detsed
Merge branch 'marta'