Skip to content

Publish a pull request under pr/, not beside the branches (#307) - #330

Merged
adrpo merged 1 commit into
OpenModelica:masterfrom
adrpo:pull-requests-in-their-own-directory
Aug 25, 2026
Merged

Publish a pull request under pr/, not beside the branches (#307)#330
adrpo merged 1 commit into
OpenModelica:masterfrom
adrpo:pull-requests-in-their-own-directory

Commits

Commits on Aug 25, 2026