devel #199

Merged

inhji merged 3 commits from devel into main 2023-07-08 15:15:52 +02:00

Conversation 0 Commits 3 Files changed 2 +6 -6

3 commits

Author	SHA1	Message	Date
inhji	40ca1951b0	Merge branch 'main' into devel	2023-07-08 15:15:37 +02:00
Inhji	ca5c0ca1dd	Merge branch 'devel' of git.inhji.de:inhji/chiya into devel	2023-07-08 15:15:03 +02:00
Inhji	09a103083f	improve errors	2023-07-08 15:13:33 +02:00