Merge request keeps processing even after it is merged

Summary

Merge request already merged into default branch, but the merge request status still in This merge request is in the process of being merged. So I cannot close the merge request and remove the branch.

Steps to reproduce

Can't reproduce this, but the merge request we have can't be closed anymore

Example Project

This is not an example project, but our LIVE project where we can't close the merge request

https://gitlab.com/mobilea/mobilea-core/merge_requests/132

What is the current bug behavior?

The status of the merge request is incorrect and keeps processing.

What is the expected correct behavior?

The status would be merged and merge request should be closed.

Output of checks

This bug happens on GitLab.com