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 branch, GUIStates_using_ObservedValue has been deleted was 6f86d564e844880acbb0998455b21f43c03c6490 - Log ----------------------------------------------------------------- 6f86d564e844880acbb0998455b21f43c03c6490 tempcommit: Fixing trianglematcher.in chmodding in GuiChecks. Merge with 14124a72 ----------------------------------------------------------------------- hooks/post-receive --