chore: fix the capitalization of 3 characters to make sure they match. :) #46

Merged
9828273 merged 1 commits from fix/correct-capitalization into dev 2026-01-23 10:42:37 +00:00
9828273 commented 2026-01-23 10:28:06 +00:00 (Migrated from git.science.uu.nl)

Just check the changed lines, I only changed three characters to be in line with each other. This was in line with correcting the figure in the final report.

  • It makes sense.

Additional notes:
By my humble opinion, there is only one reviewer needed for this massive change.

Just check the changed lines, I only changed three characters to be in line with each other. This was in line with correcting the figure in the final report. - [x] It makes sense. Additional notes: By my humble opinion, there is only one reviewer needed for this massive change.
9828273 commented 2026-01-23 10:28:06 +00:00 (Migrated from git.science.uu.nl)

assigned to @9828273

assigned to @9828273
8464960 commented 2026-01-23 10:42:03 +00:00 (Migrated from git.science.uu.nl)

approved this merge request

approved this merge request
8464960 commented 2026-01-23 10:42:37 +00:00 (Migrated from git.science.uu.nl)

mentioned in commit b17d1e7618

mentioned in commit b17d1e7618ff9b29b7c8841debfb0c6ab3a01f4e
8464960 (Migrated from git.science.uu.nl) merged commit b17d1e7618 into dev 2026-01-23 10:42:37 +00:00
s.o.h.luijkx commented 2026-01-23 14:15:32 +00:00 (Migrated from git.science.uu.nl)

marked the checklist item It makes sense. as completed

marked the checklist item **It makes sense\.** as completed
8464960 (Migrated from git.science.uu.nl) approved these changes 2026-02-02 13:31:14 +00:00
Sign in to join this conversation.
No Label
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: pepperplus/pepperplus-ui#46