[jira] [Commented] (TAJO-1986) Rename the name 'option' to 'property' in TableMeta.

[ https://issues.apache.org/jira/browse/TAJO-1986?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel=15026014#comment-15026014 ] ASF GitHub Bot commented on TAJO-1986: -- Github user jinossy commented on the pull request:

[jira] [Commented] (TAJO-1986) Rename the name 'option' to 'property' in TableMeta.

[ https://issues.apache.org/jira/browse/TAJO-1986?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel=15026175#comment-15026175 ] ASF GitHub Bot commented on TAJO-1986: -- Github user asfgit closed the pull request at:

[jira] [Commented] (TAJO-1986) Rename the name 'option' to 'property' in TableMeta.

[ https://issues.apache.org/jira/browse/TAJO-1986?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel=15026176#comment-15026176 ] Hudson commented on TAJO-1986: -- FAILURE: Integrated in Tajo-master-CODEGEN-build #601 (See

[jira] [Commented] (TAJO-1986) Rename the name 'option' to 'property' in TableMeta.

[ https://issues.apache.org/jira/browse/TAJO-1986?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel=15026258#comment-15026258 ] Hudson commented on TAJO-1986: -- SUCCESS: Integrated in Tajo-master-build #987 (See

[jira] [Commented] (TAJO-1986) Rename the name 'option' to property in TableMeta.

[ https://issues.apache.org/jira/browse/TAJO-1986?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel=15023767#comment-15023767 ] ASF GitHub Bot commented on TAJO-1986: -- GitHub user hyunsik opened a pull request: