search

wengxyu1030 / MICS6

This is the repository for MICS 6
0 stars 2 forks source link

Found duplicated merge command #54

Closed wengxyu1030 closed 2 years ago

wengxyu1030 commented 2 years ago

Hi @robin-wang , I found this duplicated merge issue and deleted as in the pull request, please review.