Skip to content

Pe jb homo merge#76

Merged
jbrezmorf merged 20 commits into
JB_homofrom
PE_JB_homo_merge
May 18, 2026
Merged

Pe jb homo merge#76
jbrezmorf merged 20 commits into
JB_homofrom
PE_JB_homo_merge

Conversation

@Paulie14
Copy link
Copy Markdown
Contributor

@Paulie14 Paulie14 commented May 6, 2026

Already merged JB_homo into PE_laser_scan (one way resolution of #75).
This PR intends to merge changes back into JB_homo.

@Paulie14 Paulie14 requested a review from jbrezmorf May 6, 2026 13:41
Comment thread src/bgem/gmsh/gmsh.py
Comment thread src/bgem/gmsh/gmsh.py Outdated
Comment thread src/bgem/gmsh/gmsh.py Outdated
Comment thread src/bgem/gmsh/gmsh.py Outdated
Comment thread src/bgem/gmsh/options.py
@GeoMop GeoMop deleted a comment from Paulie14 May 12, 2026
Comment thread src/bgem/gmsh/gmsh.py Outdated
Comment thread src/bgem/gmsh/gmsh.py Outdated
Comment thread src/bgem/gmsh/gmsh.py
Comment thread src/bgem/gmsh/gmsh.py Outdated
Comment thread src/bgem/gmsh/gmsh.py Outdated
@Paulie14
Copy link
Copy Markdown
Contributor Author

All discussions resolved.

@Paulie14 Paulie14 requested a review from jbrezmorf May 15, 2026 12:21
@jbrezmorf jbrezmorf merged commit 3dace96 into JB_homo May 18, 2026
0 of 3 checks passed
@Paulie14 Paulie14 deleted the PE_JB_homo_merge branch May 18, 2026 14:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants