Fix punctuation in token hint #15

Closed

a.wagner wants to merge 1 commit from a.wagner/pool.v0.trr379.de-ui:a.wagner-patch-1 into main

pull from: a.wagner/pool.v0.trr379.de-ui:a.wagner-patch-1

merge into: q02:main

q02:main

q02:fixes

Conversation 1 Commits 1 Files changed 1 +1 -1

a.wagner commented 2026-02-09 11:06:16 +00:00

Member

Copy link


image.png

44 KiB

a.wagner added 1 commit 2026-02-09 11:06:16 +00:00

Fix punctuation in token hint 559aa4fd78

mih commented 2026-03-31 06:16:42 +00:00

Owner

Copy link

The fix is now in the mainline. Thanks!

The fix is now in the mainline. Thanks!

mih closed this pull request 2026-03-31 06:16:42 +00:00

Pull request closed

Please reopen this pull request to perform a merge.

Sign in to join this conversation.

Reviewers

No reviewers

Labels

Clear labels

No items

No labels

Milestone

Clear milestone

No items

No milestone

Projects

Clear projects

No items

No project

Assignees

Clear assignees

No assignees

2 participants

Notifications

Subscribe

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference

q02/pool.v0.trr379.de-ui!15

No description provided.