Loading
-
💬 @marge-botmentioned in merge request !8861 (closed)
-
@mpickering I just noted that there are two references to
scTopBinds
(which got removed in this commit) in the note "Forcing specialisation" here and here. Is the note historical or do we need to update it? -
It seems those references have been there since 7d7d94fb (2017) so I don't think they were updated for the reverted patch. Perhaps it would be good to open a ticket pointing out that the references are wrong but I don't think it's critical to fix.
Please register or sign in to comment