Merge branch '201908-8412' into 'master'
authorMORIOKA Tomohiko <tomo.git@chise.org>
Thu, 29 Aug 2019 11:40:30 +0000 (20:40 +0900)
committerMORIOKA Tomohiko <tomo.git@chise.org>
Thu, 29 Aug 2019 11:40:30 +0000 (20:40 +0900)
Use the component 兖

See merge request CHISE/ids!5


Trivial merge