Topic on Extension talk:ExtensionDistributor

Steps to reproduce:

1. Go to Special:ExtensionDistributor/LDAPProvider.
2. Choose 1.35 from the menu, then click Continue.
3. Sent to Special:ExtensionDistributor?extdistname=LDAPProvider&extdistversion=REL1_35
4. After a couple seconds, tries to download /dist/extensions/LDAPProvider-REL1_35-1188849.tar.gz from extdist.wmflabs.org.
5. Get 404 error.

Isn’t this the same as Topic:Xhc1dadw1r9twn44?

Isn’t this the same as Topic:Xhc1dadw1r9twn44?

Yes, I think so.