Revision 7b025107d373e5794f056776e75aef257786c356

Committed on 15/11/2016 6:58 am by Gaetano Giunta <[email protected]> [GitHub Diff]

Fix licensing snafu