regarding the -gmt option, created a separate bug report: https://bugs.launchpad.net/coccinella/+bug/454856
regarding the -gmt option, created a separate bug report: /bugs.launchpad .net/coccinella /+bug/454856
https:/