commits to git that did not make it from eclipse (??)
Authored by: vsp_nagel 2013-07-17
Parent: [r25174]
Child: [r25176]