[ https://issues.apache.org/jira/browse/TAJO-1986?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=15023767#comment-15023767 ]
ASF GitHub Bot commented on TAJO-1986: -------------------------------------- GitHub user hyunsik opened a pull request: https://github.com/apache/tajo/pull/872 TAJO-1986: Rename the name 'option' to property in TableMeta. You can merge this pull request into a Git repository by running: $ git pull https://github.com/hyunsik/tajo TAJO-1986 Alternatively you can review and apply these changes as the patch at: https://github.com/apache/tajo/pull/872.patch To close this pull request, make a commit to your master/trunk branch with (at least) the following in the commit message: This closes #872 ---- commit 8a6e0ab9d4f9fa451f5568534e0f924c8161d4e0 Author: Hyunsik Choi <hyun...@apache.org> Date: 2015-11-24T04:45:21Z TAJO-1986: Rename the name 'option' to property in TableMeta. ---- > Rename the name 'option' to property in TableMeta. > -------------------------------------------------- > > Key: TAJO-1986 > URL: https://issues.apache.org/jira/browse/TAJO-1986 > Project: Tajo > Issue Type: Improvement > Components: Storage > Reporter: Hyunsik Choi > Assignee: Hyunsik Choi > Priority: Minor > Fix For: 0.12.0 > > > This is a trivial patch to rename 'option' to 'property' in TableMeta. This > is necessary to make naming more consistent. -- This message was sent by Atlassian JIRA (v6.3.4#6332)