Merge branch 'unstable'

Authored by shortstheory on Jul 24 2017, 9:24 AM.

Description

Merge branch 'unstable'

Details

Committed
shortstheoryJul 24 2017, 9:24 AM
Parents
R754:f07cc8a9c08a: Fixed bug
R754:d79aaeb97505: GIT_SILENT made messages (after extraction)
Branches
Unknown
Tags
Unknown

Merged Changes

CommitAuthorDetailsCommitted
f07cc8a9c08ashortstheory
Fixed bug 
Jul 24 2017
2681ccc8b58ashortstheory
Working on a bug 
Jul 24 2017