Code

fix build error#1800

Code

Open

thomassth wants to merge 1 commit intocompdemocracy:edgecompdemocracy/polis:edgefrom thomassth:build-error-fixthomassth/polis:build-error-fixCopy head branch name to clipboard

+54-39

Commits

Commits on Nov 24, 2024

• fix build error

  thomassth

  committed
  b40d7de