Skip to content

Conversation

@bkanator
Copy link

@bkanator bkanator commented Nov 14, 2025

Descriptions were just missing when hovering over these objectives, so I added some short one-liners.

@bkanator bkanator force-pushed the mpc-obj-descrip-update branch from 5eeb219 to 8db9e34 Compare November 14, 2025 02:00
@bkanator bkanator requested a review from marioprats November 14, 2025 02:33
@bkanator bkanator force-pushed the mpc-obj-descrip-update branch from 8db9e34 to e5720fb Compare November 20, 2025 14:41
@bkanator bkanator merged commit 457733a into main Nov 20, 2025
5 checks passed
@bkanator bkanator deleted the mpc-obj-descrip-update branch November 20, 2025 14:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants