[erlang-questions] where is OTP-17.5.6.9?

[Mikael Pettersson]

The download page has an OTP-17.5.6.9.README which mentions an OTP-17.5.6.9 tag,
and the maint branch has a commit mentioning merging OTP-17.5.6.9, but:

- a fresh git clone of otp.git from github doesn't know about that tag
  (it lists OTP-17 tags up to and including OTP-17.5.6.8 but not .9)
- likewise the tags tab at github's web i/f doesn't list the .9 tag
- browsing the commits on the maint-17 branch shows nothing newer than 17.5.6.8

Did someone forget to push to github?