[debbugs-tracker] Processed: Re: bug#7638: question about make link issue

[GNU bug Tracking System]

Processing commands for address@hidden:

> tags 7638 notabug
Bug #7638 [coreutils] question about make link issue
Added tag(s) notabug.
> close 7638
bug#7638: question about make link issue
bug closed, send any further explanations to
address@hidden and Yixuan Huang <address@hidden>

> thanks
Stopping processing here.

Please contact address@hidden if you need assistance.

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