On 12/20/18 8:17 PM, Martin Thomson wrote:
> The OP said >= 2.10.  But you appear to have that.

At the time of writing it was, but we now need 2.13. The configure
script doesn't check for that either, I will make a note of it in the
bug to fix this detection.

dev-platform mailing list

Reply via email to