[debbugs-tracker] Processed: Re: bug#21963: Spurious byte compile message: "Warning: the function `bar' might not be defined at runtime."

[GNU bug tracker automated control server]

Processing commands for address@hidden:

> close 21963 25.1
bug#21963: Spurious byte compile message: "Warning: the function `bar' might 
not be defined at runtime."
bug marked as fixed in version 25.1, send any further explanations to
address@hidden and Alan Mackenzie <address@hidden>

> quit
Stopping processing here.

Please contact address@hidden if you need assistance.

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