jicmp 1.4.1 dependency
Merge branch '1.12'