hey @GuillaumeGomez we are unsure on issue #81633 impact, if it's something t-rustdoc might want to prioritize and keep on the radar ("high priority" in our @_WG-prioritization lingo) or it can wait a bit
what is your opinion (at a glance)?
Oh, that's bad. It should be simple to fix though.
cool, thanks :thumbs_up:
This is the FOSDEM this w-e so I don't know when exactly I'll fix it though :p
no worries, what's important is now it's tracked
After taking a deeper look, seems like a pretty low level priority. Changing the tag.
Last updated: Oct 11 2021 at 22:34 UTC