[python] [patch] PR 13624

[Tom Tromey]

>>>>> "Phil" == Phil Muldoon <pmuldoon@redhat.com> writes:

Phil> Thanks.  New patch attached:

Thanks.  One nit.

Phil> +	error(_("Cannot convert value to float."));

Missing space.

Ok with that change.

Tom