Bernhard Voelker wrote:
Could we work around it?
Sure, how about if we shrink it down to 0.19? Would that work for you?I picked 0.19.4 only because the old value was too low for gnulib and I was at 0.19.4. I think it needs to be at least 0.19, because of the recent gnulib changes.
