Re: [PATCH] [RHEL] Make new 0.1.17 release