Delete failed simulide_0.3.12-SR3 branch commit
Authored by: arcachofo 2019-10-05
Parent: [r497]
Child: [r499]