[debbugs-tracker] bug#30987: closed (bug!)

[GNU bug Tracking System]

Your message dated Thu, 29 Mar 2018 10:38:31 -0600
with message-id <address@hidden>
and subject line Re: bug#30987: bug!
has caused the debbugs.gnu.org bug report #30987,
regarding bug!
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden)


-- 
30987: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=30987
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> bug!
>
>
>
>
> Date: 
>
> Thu, 29 Mar 2018 13:04:38 +0100
>
>
>
>
> User-agent: 
>
> Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.6.0
>
>
>
>
> tail: unrecognized file system type 0x794c7630 for 'error.log'. please 
> report this to address@hidden reverting to polling
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#30987: bug!
>
>
>
>
> Date: 
>
> Thu, 29 Mar 2018 10:38:31 -0600
>
>
>
>
> User-agent: 
>
> Mutt/1.5.24 (2015-08-30)
>
>
>
>
> Hello,
>
> On Thu, Mar 29, 2018 at 01:04:38PM +0100, Angel wrote:
> > tail: unrecognized file system type 0x794c7630 for 'error.log'. please
> > report this to address@hidden reverting to polling
>
> Support for this filesystem has been added in recent versions of coreutils.
> for details see here: https://www.gnu.org/software/coreutils/filesystems.html
>
> regards,
>  - assaf
>
>
> --- End Message ---