Hey small question about this PR <https://github.c...

# announcements

[igor.wojda]

Hey small question about this PR https://github.com/JetBrains/kotlin/pull/1994. I see it has been merged however I don’t see this commit on the list of commits on master branch here https://github.com/JetBrains/kotlin/commits/master. Am I looking at incorrect branch 🤔

[ilya.gorbunov]

It had been merged a while ago and there were some commits after that, so check the subsequent pages of commit history.