Make note bold

[ghost]

this seems to be have occurred in a recent edit, i clearly remember just note being bold

the entire note was bold

[rustbot]

r? @Mark-Simulacrum

(rustbot has picked a reviewer for you, use r? to override)

[jyn514]

Oops, I broke this in https://github.com/rust-lang/rust/pull/105465/files#diff-b335630551682c19a781afebcf4d07bf978fb1f8ac04c6bf87428ed5106870f5L11.

@bors r+ rollup

[bors]

📌 Commit a3cf585 has been approved by jyn514

It is now in the queue for this repository.

[ghost]

@jyn514 look at the newer commit, the commit which is r+'ed just bolds "note", but i was wrong in that and the whole note was in bold

[ghost]

the new..new commit, my bad (ugh this is a mess)

[Dylan-DPC]

@bors r=jyn

[bors]

📌 Commit 93ebf46 has been approved by jyn

It is now in the queue for this repository.

[bors]

⌛ Testing commit 93ebf46 with merge 3468044...

[bors]

☀️ Test successful - checks-actions
Approved by: jyn
Pushing 3468044 to master...

[rust-timer]

Finished benchmarking commit (3468044): comparison URL.

Overall result: no relevant changes - no action needed

@rustbot label: -perf-regression

Instruction count

This benchmark run did not return any relevant results for this metric.

Max RSS (memory usage)

Results

This is a less reliable metric that may be of interest but was not used to determine the overall result at the top of this comment.

	mean	range	count
Regressions ❌ (primary)	-	-	0
Regressions ❌ (secondary)	3.9%	[3.9%, 3.9%]	1
Improvements ✅ (primary)	-3.0%	[-3.0%, -3.0%]	1
Improvements ✅ (secondary)	-2.7%	[-2.7%, -2.7%]	1
All ❌✅ (primary)	-3.0%	[-3.0%, -3.0%]	1

Cycles

This benchmark run did not return any relevant results for this metric.