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
|
