Darshit Shah <dar...@gmail.com> writes: > With my last set of patches, we have fixed all the issues reported / > identified after the 1.17 release. Hence, maybe we should consider > releasing a 1.17.1 bugfix release?
yes, we should do that. I can tag a new release tomorrow or on Friday. Regards, Giuseppe