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 5892fa08ac4fcdc3eb04597a7e6be8fbe0dde8b6 (commit)
from c088c793c450998ca8e557fa19cdc8d423336f95 (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 5892fa08ac4fcdc3eb04597a7e6be8fbe0dde8b6
Author: Arnout Engelen <arn...@bz...>
Date: Sat Jun 9 14:34:04 2012 +0200
Correctly build even when lua interpreter and lua libraries are different versions
Fixes https://sourceforge.net/tracker/?func=detail&aid=3525658&group_id=314802&atid=1324528
-----------------------------------------------------------------------
Summary of changes:
system.mk | 25 ++++++++++++++++++++-----
1 files changed, 20 insertions(+), 5 deletions(-)
hooks/post-receive
--
notion window manager core
|
