798d95a27d60103892c2c106439a0dc9e39eb14d not-for-merge branch 'master' of bitbucket.org:_metalogic_/wusc