Commit 5763a92749386e134f2b4073531c10e9586d1d19

Michiharu Ariza 2019-07-01T15:17:19

Merge branch 'master' into var-subset