Is that a new syntax or a typo? (`String"`) ``` /...

# announcements

[jmfayard]

Is that a new syntax or a typo? (String")

// <https://github.com/JetBrains/kotlin-wrappers/tree/master/kotlin-react>
// <https://www.npmjs.com/package/@jetbrains/kotlin-react>
fun RBuilder.hello(name: String") {
    div {       +"Hello, $name"    }
}

EDIT: submitted pull request https://github.com/JetBrains/kotlin-wrappers/pull/9/files