Update optdata to version 20170830-0123 (#13717)
authorDaniel Podder <dpodder@gmail.com>
Thu, 31 Aug 2017 14:20:03 +0000 (09:20 -0500)
committerGitHub <noreply@github.com>
Thu, 31 Aug 2017 14:20:03 +0000 (09:20 -0500)
commitc2a6ccfbab17c52e8cb16616583f1aa554ffe615
treef43175fc678f8c14cb1d45c12246f74c586f662d
parentc6368f7d6b486a93245fa630be6a91a760d22b87
Update optdata to version 20170830-0123 (#13717)
dir.props