[Notion-commits] notion window manager core branch master updated. 5892fa08ac4fcdc3eb04597a7e6be8fbe0dde8b6

[Arnout E. <rab...@us...>]

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