Skip to content

[utilities] Use "Result:" element in \itemdescrs of types to describe the type.#8442

Merged
tkoeppe merged 1 commit into
mainfrom
ctype
Nov 7, 2025
Merged

[utilities] Use "Result:" element in \itemdescrs of types to describe the type.#8442
tkoeppe merged 1 commit into
mainfrom
ctype

Conversation

@tkoeppe

@tkoeppe tkoeppe commented Nov 7, 2025

Copy link
Copy Markdown
Contributor

This replaces the use of the ad-hoc element "Type:" in three places with "Result", and adds "Result:" in other cases that didn't have an element at all.

@tkoeppe tkoeppe requested review from eisenwave and jwakely November 7, 2025 02:24
@tkoeppe tkoeppe force-pushed the ctype branch 2 times, most recently from 205800e to 7fa5f37 Compare November 7, 2025 02:44
Comment thread source/utilities.tex Outdated
… the type.

This replaces the use of the ad-hoc element "Type:" in three places with "Result:",
and adds "Result:" in other cases that didn't have an element at all.
@tkoeppe tkoeppe merged commit f65ab95 into main Nov 7, 2025
4 checks passed
@tkoeppe tkoeppe deleted the ctype branch November 7, 2025 07:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants