regex match of .* causes incorrect target URL

Hard to explain why I did this, but it’s temporary redirect of a entire domain, using a wp Multi-site.

Anyway, a regex match of .* is supposed to redirect to https://somedomain.com, and the target ends up being https://somedomain.comhttp//somedomain.com

I’ve traced this back to models/match.php
in the method: get_target_regex_url()
line: return preg_replace( '@'.str_replace( '@', '\\@', $matched_url ).'@', $target, $url );

As a temporary workaround, I’ve added:

if ( $matched_url == '.*' ) {
 return $target;
}