Implement wcslen

[tyilo]

No description provided.

[RalfJung]

@rustbot author
(use @rustbot ready when the PR is ready for review again)

[rustbot]

There are merge commits (commits with multiple parents) in your changes. We have a no merge policy so these commits will need to be removed for this pull request to be merged.

You can start a rebase with the following commands:

$ # rebase
$ git rebase -i master
$ # delete any merge commits in the editor that appears
$ git push --force-with-lease

The following commits are merge commits:

• 946a3c6

[tyilo]

@rustbot ready

[RalfJung]

Thanks! We're entering the nit-picking stage of the review process. :)

@rustbot author

[RalfJung]

Thanks, looks good! Please squash the commits.

[tyilo]

@rustbot ready

[RalfJung]

The rebase was not necessary, now I have to see whether the diff changed... Please only rebase when there are conflicts.

[RalfJung]

Looks good though. Thanks for the PR! @bors r+

[bors]

📌 Commit 4de677f has been approved by RalfJung

It is now in the queue for this repository.

[bors]

⌛ Testing commit 4de677f with merge edcdce0...

[bors]

☀️ Test successful - checks-actions
Approved by: RalfJung
Pushing edcdce0 to master...