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 "the great next stuff".

The branch, dde_net has been updated
       via  ade9d439dbc6d21d7353150dac357a55f2ad1a49 (commit)
      from  0b7aac4481ee99f000305e90901951918ae34ccc (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 ade9d439dbc6d21d7353150dac357a55f2ad1a49
Author: Samuel Thibault <samuel.thiba...@ens-lyon.org>
Date:   Tue Mar 31 00:51:24 2020 +0200

    Fix build
    
    * Makefile (SRC_C): Add machdev.c.

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

Summary of changes:
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)


hooks/post-receive
-- 
the great next stuff

Reply via email to