Repository navigation

Read a bare Wm as the given name it abbreviates, not a title (#789) - #873

Merged

derek73 merged 3 commits into

fix/issue-789-wm-given-name

Oct 25, 2026

Merged

Read a bare Wm as the given name it abbreviates, not a title (#789)#873
derek73 merged 3 commits into
masterfrom
fix/issue-789-wm-given-name

Commits on Oct 25, 2026
- Read a bare Wm as the given name it abbreviates, not a title (#789)
  
  derek73
  and
  claude
  committed
  7d9eeb6
- Correct the wm measurement in place, key the refusal to #789, and leave the dotted half open (#789 review)
  
  derek73
  and
  claude
  committed
  f9a9b6a
- Date the wm count as re-measured after the decision (#789 review)
  
  derek73
  and
  claude
  committed
  01c45e8