]> granicus.if.org Git - graphviz/commitdiff
Merge branch 'fix-issue-372-for-box-arrows' into 'main'
authorMagnus Jacobsson <magnus.jacobsson@berotec.se>
Fri, 14 Oct 2022 15:35:21 +0000 (15:35 +0000)
committerMagnus Jacobsson <magnus.jacobsson@berotec.se>
Fri, 14 Oct 2022 15:35:21 +0000 (15:35 +0000)
Fix issue 372 for box arrows

Closes #372

See merge request graphviz/graphviz!2907


Trivial merge