Less live build → test #963

Merged
mweimann merged 10 commits from dev-less-test into test 3 years ago
mweimann commented 3 years ago
Collaborator

See #946

See #946
mweimann self-assigned this 3 years ago
Poster
Collaborator

Ping @reinhard

Ping @reinhard
mweimann closed this pull request 3 years ago
mweimann deleted branch dev-less-test 3 years ago
the build was successful
The pull request has been merged as 0b04caee7c.
Sign in to join this conversation.
Loading…
There is no content yet.