Re: OBJECTS.patch (Was: 33-simplify-contents-traces.patch)

[Tom Tromey]

Akim>   * automake.in (@objects): Remove, unused.
Akim>   Remove all the code related to it, and to former `$(OBJECTS)'.

Ok, thanks.

Tom