Subject: Re: bug#58446: 28.2; file-attribute-device-number returns a cons cell instead of an integer

From: Michael Albinus <[email-masked]>
Date: Fri, 14 Oct 2022 21:33:56 +0200

Eli Zaretskii <[email-masked]> writes:

Hi Eli,

> It would be better, yes.  I already changed "device number" to eithe
> just "device" or "device identifier", in the documentation you touched
> today, since talking about "device number" when it can be a cons of 2
> numbers doesn't sound like a good idea.

I've changed the name to file-attribute-file-identifier. Pushed to master.

Best regards, Michael.