From: Arnout E. <rab...@us...> - 2012-06-09 12:34:47
|
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 |