[
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 <[email protected]>
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)
