feat: release 19.0-5 on the lean core (step 12) #10

Merged
marcos-mendez merged 1 commit from release/19.0-5 into master 2026-10-09 15:47:08 -03:00
marcos-mendez commented 2026-10-09 15:36:17 -03:00 (Migrated from github.com)

Rebuild on lean core 19.0-10 (handbook decision 0052, step 12).

Rebuild on lean core 19.0-10 (handbook decision 0052, step 12).
Sign in to join this conversation.
No description provided.