[5.1.0] Release 5.1.0

[jthierry-psee]

No description provided.

[mergify]

This pull request has been removed from the queue for the following reason: pull request dequeued.

Pull request #140 has been dequeued. Mergify failed to merge the pull request. GitHub error message: 3 of 3 required status checks are cancelled.

You should look at the reason for the failure and decide if the pull request needs to be fixed or if you want to requeue it.

If you want to requeue this pull request, you need to post a comment with the text: @mergifyio requeue

[jthierry-psee]

@Mergifyio refresh

[mergify]

refresh

✅ Pull request refreshed

[mergify]

This pull request, with head sha 8c9a38f9e0632079dc470cdc79b0fe7021a07e77, has been successfully merged with fast-forward by Mergify.

This pull request will be automatically closed by GitHub.

As soon as GitHub detects that the sha 8c9a38f9e0632079dc470cdc79b0fe7021a07e77 is part of the main branch, it will mark this pull request as merged.

It is possible for this pull request to remain open if this detection does not happen, this usually happens when a force-push is done on this branch release/v5.1.0, this means GitHub will fail to detect the merge.