[ET Trac] #2427: release tag ET_2020_05_v0 points to wrong commit in CTThorns