Skip to content

Add reference annotations for the do_not_recommend attribute#137242

Merged
bors merged 1 commit intorust-lang:masterfrom ehuss:reference-do_not_recommendFeb 19, 2025

Commits

Commits on Feb 18, 2025