[SCM] Hurd branch, master, updated. v0.9.git20230520-14-g011c5028

[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  011c50286ea8fb98c547502a6e3f1d8c5d304ca1 (commit)
      from  82732f965ccbc70641e2ce5e9dba8e0ced64aeba (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 011c50286ea8fb98c547502a6e3f1d8c5d304ca1
Author: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date:   Wed Jun 21 00:11:04 2023 +0200

    Drop mention of non-existing check target

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

Summary of changes:
 INSTALL | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)


hooks/post-receive
-- 
Hurd