> Another nit: the ChangeLog entry is incomplete, final.c is not mentioned. And the new comment line in final.c is too long, remove the superfluous (). -- Eric Botcazou