Removing type mismatch between generated code and size_t type on 32bit systems
Merge git.sv.gnu.org:/srv/git/liberty-eiffel