[debbugs-tracker] Processed: lt

[GNU bug Tracking System]

Processing commands for address@hidden:

> submitter 10303 Marko Lindqvist <address@hidden>
Bug #10303 [libtool] Problems in $(LIBTOOL) deifnition (was: Re: automake 
bug#10301: /bin/sh used to execute libtool)
Changed bug submitter to 'Marko Lindqvist <address@hidden>' from 'Stefano 
Lattarini <address@hidden>'
> retitle 10303 Problems in $(LIBTOOL) definition: wrong shell used
Bug #10303 [libtool] Problems in $(LIBTOOL) deifnition (was: Re: automake 
bug#10301: /bin/sh used to execute libtool)
Changed bug title to 'Problems in $(LIBTOOL) definition: wrong shell used' from 
'Problems in $(LIBTOOL) deifnition (was: Re: automake bug#10301: /bin/sh used 
to execute libtool)'
> thanks
Stopping processing here.

Please contact address@hidden if you need assistance.

GNU bugs database, http://debbugs.gnu.org/