branch core-updates updated (c5c91b3d2e -> 05e99036dc)

[guix-commits]

janneke pushed a change to branch core-updates
in repository guix.

    from c5c91b3d2e gnu: mig-boot0: Do not override phases.
     new 546e0accd0 gnu: gnumach: Update to 1.8-0.2556fde.
     new 05e99036dc gnu: hurd: Update to v0.9.git20231217.

The 2 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails.  The revisions
listed as "add" were already present in the repository and have only
been added to this reference.


Summary of changes:
 gnu/local.mk                                       |   7 -
 gnu/packages/hurd.scm                              |  78 +-
 .../patches/gnumach-fix-i686-linux-build.patch     |  50 --
 gnu/packages/patches/gnumach-fix-task_info.patch   |  59 --
 gnu/packages/patches/gnumach-support-noide.patch   |  25 -
 .../hurd-add-without-rump-configure-option.patch   |  82 --
 gnu/packages/patches/hurd-fix-rumpdisk-build.patch |  41 -
 ...pes-of-read-write-and-readables-methods-2.patch | 155 ----
 ...types-of-read-write-and-readables-methods.patch | 891 ---------------------
 9 files changed, 36 insertions(+), 1352 deletions(-)
 delete mode 100644 gnu/packages/patches/gnumach-fix-i686-linux-build.patch
 delete mode 100644 gnu/packages/patches/gnumach-fix-task_info.patch
 delete mode 100644 gnu/packages/patches/gnumach-support-noide.patch
 delete mode 100644 
gnu/packages/patches/hurd-add-without-rump-configure-option.patch
 delete mode 100644 gnu/packages/patches/hurd-fix-rumpdisk-build.patch
 delete mode 100644 
gnu/packages/patches/hurd-fix-types-of-read-write-and-readables-methods-2.patch
 delete mode 100644 
gnu/packages/patches/hurd-fix-types-of-read-write-and-readables-methods.patch