You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Duplicate of #264, but it won't be fixed until we update the nightly on the server. (I need to wait to do this until #281 is merged, since the new nightly has a new static file that we'll want to cache.)
Certain versions of rustdoc generated docs that did this. To fix it, we'll need to generate the docs that were built with those versions.
Activity
QuietMisdreavus commentedon Dec 21, 2018
Duplicate of #264, but it won't be fixed until we update the nightly on the server. (I need to wait to do this until #281 is merged, since the new nightly has a new static file that we'll want to cache.)
Certain versions of rustdoc generated docs that did this. To fix it, we'll need to generate the docs that were built with those versions.
MaikKlein commentedon Dec 23, 2018
It seems as if it has already been fixed even without #281