Summary

Fix dev-snapshot script

Metadata

• Id: 1f9a4266b1529986b52df6f7a26bbce97a768063
• Trac id: 1503
• Type: defect
• Reporter: mario
• Owner: mario
• Cc:
• Status: assigned
• Component: infrastructure
• Estimated difficulty:
• Resolution:
• Priority: major
• Milestone: someday
• Version: 5.0.0
• Changetime: 2018-08-11 11:19:00 UTC
• Created: 2018-08-11 11:19:00 UTC
• Keywords: dev-snapshot

Description

Peter reported it is broken.