[SCM] Hurd branch, master, updated. v0.9.git20201114-9-g3901af5

[Samuel Thibault]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "Hurd".

The branch, master has been updated
       via  3901af56b3bc118ff574014b1282636dd4aa95b9 (commit)
      from  1c210bff35b39b346b4d137c62e17fe81830e5a3 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
commit 3901af56b3bc118ff574014b1282636dd4aa95b9
Author: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date:   Mon Nov 16 18:05:47 2020 +0100

    rumpdisk: automatically prepend /dev/
    
    to keep coherent with other storeio translators, grub scripts, etc.
    
    * rumpdisk/block-rump.c (translate_name): Prepend /dev/ to disk name.
    (is_disk_device): Do not match heading /dev/.

-----------------------------------------------------------------------

Summary of changes:
 rumpdisk/block-rump.c | 21 +++++++++------------
 1 file changed, 9 insertions(+), 12 deletions(-)


hooks/post-receive
-- 
Hurd