bug#13754: Acknowledgement (Tail 8.13 Bug)

[Paul Eggert]

On 02/18/2013 02:30 PM, Joshua Rogers wrote:
> Disregard that, please close.

Thanks, closing it.