[Kimchi-devel] [PATCH 4/4] Change Kimchi version.