Processed: your mail

[GNU bug tracker automated control server]

Processing commands for control@debbugs.gnu.org:

> retitle 43513 Kernel/userspace interface mismatch between 32 bit user space 
> and 64 bit kernel - readdir
Bug #43513 [guix] 'getdents' misbehaves when emulating 32-bit code on a 
64-bit-kernel host
Bug #42448 [guix] 'getdents' misbehaves when emulating 32-bit code on a 
64-bit-kernel host
Changed bug title to 'Kernel/userspace interface mismatch between 32 bit user 
space and 64 bit kernel - readdir' from ''getdents' misbehaves when emulating 
32-bit code on a 64-bit-kernel host'
Changed bug title to 'Kernel/userspace interface mismatch between 32 bit user 
space and 64 bit kernel - readdir' from ''getdents' misbehaves when emulating 
32-bit code on a 64-bit-kernel host'
> severity 43513 critical
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
Severity set to 'critical' from 'important'

Severity set to 'critical' from 'important'

>
End of message, stopping processing here.

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

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