During summer vacation, Gitlab will be restart frequently. Use it carefully.
Merge details
Mentions issue #31 (closed)
enabled an automatic merge when the pipeline for 90dfcc42 succeeds
merged
mentioned in commit 87641311
feedback to tooltime@ajou.ac.kr or hwan@ajou.ac.kr