Processed: your mail

[GNU bug tracker automated control server]

Processing commands for control@debbugs.gnu.org:

> retitle 43513 readdir misbehaves when running 32-bit user space on a 
> 64-bit-kernel - kernel/userspace interface mismatch in getdents
Bug #43513 [guix] Kernel/userspace interface mismatch between 32 bit user space 
and 64 bit kernel - readdir
Bug #42448 [guix] Kernel/userspace interface mismatch between 32 bit user space 
and 64 bit kernel - readdir
Changed bug title to 'readdir misbehaves when running 32-bit user space on a 
64-bit-kernel - kernel/userspace interface mismatch in getdents' from 
'Kernel/userspace interface mismatch between 32 bit user space and 64 bit 
kernel - readdir'
Changed bug title to 'readdir misbehaves when running 32-bit user space on a 
64-bit-kernel - kernel/userspace interface mismatch in getdents' from 
'Kernel/userspace interface mismatch between 32 bit user space and 64 bit 
kernel - readdir'
>
End of message, stopping processing here.

Please contact help-debbugs@gnu.org if you need assistance.

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