Skip to content

Use font-lock-punctuation-face for deref @ marker#138

Merged
bbatsov merged 1 commit into
mainfrom
fix-deref-face
Jun 16, 2026
Merged

Use font-lock-punctuation-face for deref @ marker#138
bbatsov merged 1 commit into
mainfrom
fix-deref-face

Use font-lock-punctuation-face for deref @ marker

70e3898
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning

The logs for this run have expired and are no longer available.