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 "Web pages".
The branch, master has been updated via 7209d5d3fc3d0ec2ce4f2cb7260408ce17aa580f (commit) from d9a2d3b05eb7679bbf2c133342f650d4f6a70542 (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 7209d5d3fc3d0ec2ce4f2cb7260408ce17aa580f Author: Samuel Thibault <samuel.thiba...@ens-lyon.org> Date: Thu Nov 1 01:36:33 2018 +0100 Add Debian 2017 release ----------------------------------------------------------------------- Summary of changes: ...u_hurd_2015.mdwn => 2017-06-18-debian_gnu_hurd_2017.mdwn} | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) copy news/{2015-04-29-debian_gnu_hurd_2015.mdwn => 2017-06-18-debian_gnu_hurd_2017.mdwn} (84%) hooks/post-receive -- Web pages