Implement wcslen

[tyilo]

[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:

• 946a3c627603100f512f9a26103a0498146a8612

[tyilo]

@rustbot ready

[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]

:pushpin: Commit 4de677f18d8e410579083fb3bc090e8323879657 has been approved by RalfJung

It is now in the queue for this repository.

[bors]

:hourglass: Testing commit 4de677f18d8e410579083fb3bc090e8323879657 with merge edcdce0fbb4f0e82f9bbd12d4dd4a3ddab7ad637...

[bors]

:sunny: Test successful - checks-actions Approved by: RalfJung Pushing edcdce0fbb4f0e82f9bbd12d4dd4a3ddab7ad637 to master...