Fix comments: `AUR_SEEN` is the correct name#2535

Merged

Jguer merged 1 commit intoJguer:nextfrom mkurz:YAY_DIFF_REVIEW_to_AUR_SEEN

Nov 21, 2024

+4-4

Commits on Nov 20, 2024

Fix comments: AUR_SEEN is the correct name
mkurz
committed