auto integration deepin-community/ocaml#3561

deepin-community-ci-bot[bot] wants to merge 1 commit intomasterdeepin-community/Repository-Integration:masterfrom

auto-integration-20449443563deepin-community/Repository-Integration:auto-integration-20449443563Copy head branch name to clipboard