[SCM] GNU Mach branch, master, updated. v1.8-248-gd80a4d8

[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 "GNU Mach".

The branch, master has been updated
       via  d80a4d8734a6598daf449835d1aa7de09c986250 (commit)
      from  cfaf1849ecbdfb0bdf0fc7312271d25bb32ba38d (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 d80a4d8734a6598daf449835d1aa7de09c986250
Author: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date:   Tue Feb 9 18:51:15 2021 +0100

    Default MIG to mig when not found.
    
    bash: no: command not found
    
    seems to be confusing for users. Revert to setting back to mig, but
    after printing the warning.
    
    * configure.ac (MIG): Default to mig when not found.

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

Summary of changes:
 configure.ac | 1 +
 1 file changed, 1 insertion(+)


hooks/post-receive
-- 
GNU Mach