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 "MIG".
The branch, master has been updated via c20de7f38b3a31b2e615ceb23f8460b146db9e11 (commit) from c7654756ee191de3d495a5d716ffe9b09d22ba6c (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 c20de7f38b3a31b2e615ceb23f8460b146db9e11 Author: Samuel Thibault <samuel.thiba...@ens-lyon.org> Date: Wed Dec 21 12:39:02 2022 +0100 Fix make dist 7063f0aefd8a ("mig: replace boolean.h with stdbool.h") dropped boolean.h, but missed dropping its installation. ----------------------------------------------------------------------- Summary of changes: Makefile.am | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) hooks/post-receive -- MIG