From: Arnout E. <rab...@us...> - 2014-05-14 21:42:24
|
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 "notion window manager core". The branch, master has been updated via e33387cc78508935c7ae6a5a1384be9fea584e17 (commit) from 6dc4b71382e05581d5e5ea1c66df68ab8a792a7d (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 e33387cc78508935c7ae6a5a1384be9fea584e17 Author: Arnout Engelen <arn...@bz...> Date: Wed May 14 23:38:12 2014 +0200 Fix memory pooling for deferred tasks Because of a mistake in the pointer arithmetic the wrong deferred would get freed, leading to wrong callbacks and even infinite loops in the list of callbacks. Probably/hopefully fixes bug #77. ----------------------------------------------------------------------- Summary of changes: libmainloop/defer.c | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) hooks/post-receive -- notion window manager core |