Eric Botcazou Tue, 15 Sep 2015 09:28:15 -0700
> For avoidance of doubt, the patch is fine then. Thanks, installed with the tm.texi bits.
-- Eric Botcazou