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, Candidate_v1.4.12 has been updated via 9247f6140e2d96abe74afa09ec2b9ab4a9604c10 (commit) from 3107c8ac84207e4525807b9151d2d08674118a2c (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 9247f6140e2d96abe74afa09ec2b9ab4a9604c10 Author: Frederik Heber <heber@ins.uni-bonn.de> Date: Wed Aug 5 00:21:02 2015 +0200 FIX: ActionQueue::isIdle() const nees mutable mutex. ----------------------------------------------------------------------- Summary of changes: src/Actions/ActionQueue.hpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) hooks/post-receive --