Skip to content

ubuntu: only install used boost package - #237

Merged
junghans merged 1 commit into
masterfrom
junghans-patch-2
Mar 19, 2026
Merged

ubuntu: only install used boost package#237
junghans merged 1 commit into
masterfrom
junghans-patch-2

Commits

Commits on Mar 19, 2026