Re: Bug in placing _stub.o files with HEAD