Request to commit: Additional change for hs16 for ARM

[Andrew Haley]

Gary Benson wrote:
> Ed, for changes like this, where the only things you're touching are
> in files you have contributed (and nobody else knows what they are!)
> I think you should be able to commit automatically.
> 
> Is that ok with everyone?

For such simple changes yes, but IMO it's a really good idea for people
to check over each other's submissions.  It has caught problems in the
past.  I admit that it's a bit difficult in some cases were no-one but
the submitter has the right combination of knowledge.

Andrew.