Hi, On Wed, Dec 23, 2015 at 1:47 PM, Ganesh Ajjanagadde <gajjanagadde at gmail.com> wrote: > exp10, recently introduced, is superior for the purpose. Code change itself is fine. But I find this extra line in the commit message somewhat redundant. :) Ronald