Master #571

Merged
mpeltriaux merged 2 commits from master into Docker 2026-08-04 06:55:00 +02:00
Owner

Update Docker

Update Docker
mpeltriaux added 2 commits 2026-08-04 06:54:56 +02:00
* fixes wrong table layout on empty deduction list of a recorded oek
Reviewed-on: #570
mpeltriaux merged commit ba7f5edc33 into Docker 2026-08-04 06:55:00 +02:00
Sign in to join this conversation.