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 official devtools repository".

The branch, master has been updated via 76dec8507e2e767db07f967644ed8958f85cd5a2 (commit) from 9727b684e60c56775ef071be3707059b1d1518e1 (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 76dec8507e2e767db07f967644ed8958f85cd5a2 Author: Jan Alexander Steffens (heftig) jan.steffens@gmail.com Date: Sat Oct 8 14:41:12 2016 +0200

makechrootpkg: Reset environment for builduser

The gnustep-base package ships a profile.d script that adds "$HOME/GNUstep/Tools" to the PATH, which breaks when the user changes and causes meson to exit with a "permission denied" error.

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

Summary of changes: makechrootpkg.in | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-)

hooks/post-receive