Repository navigation

7.3.0-3: release the profile fix - #34

Merged

nicolasdb merged 2 commits into

mainfrom

release-7.3.0-3

Nov 3, 2026

Merged

7.3.0-3: release the profile fix#34
nicolasdb merged 2 commits into
mainfrom
release-7.3.0-3

Commits on Nov 3, 2026
- 7.3.0-3: the profile fix, released (7.3.0-2 was tagged before it reached main)
  
  nicolasdb
  and
  claude
  committed
  95ff0b8
- handoff: 7.3.0-3
  
  nicolasdb
  and
  claude
  committed
  254d527