Merge branch 'lib_fix'
authorHanoh Haim <[email protected]>
Wed, 26 Aug 2015 12:50:06 +0000 (15:50 +0300)
committerHanoh Haim <[email protected]>
Wed, 26 Aug 2015 12:50:06 +0000 (15:50 +0300)

Trivial merge