Closed mwartell closed 1 year ago
This commit fixes a merge conflict going from develop 360eec63b8e1c5596f55135af3cea7b41134b1be into master at 1b88fd21e27ddac619955dae30a6062a53c1c379
Curiously, this PR changes no files despite having 6 commits in it. It does pass CI, so I am moving forward as if Git is satisfied.
This commit fixes a merge conflict going from develop 360eec63b8e1c5596f55135af3cea7b41134b1be into master at 1b88fd21e27ddac619955dae30a6062a53c1c379
Curiously, this PR changes no files despite having 6 commits in it. It does pass CI, so I am moving forward as if Git is satisfied.