1.0dev: merged [11230] from 0.12-stable and added `check_catalog_tracini` command
Authored by: jomae 2012-08-30
Parent: [r11230]
Child: [r11232]