Merge remote-tracking branch 'upstream/master'
[nit.git] / lib / logic /
2016-04-22 Jean Privatlib: add logic library