git://source.jalview.org / jalview.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 5d225e1 b72ed01)
Merge branch 'develop' into bug/JAL-4289_group_boundary_not_drawn_properly_in_fastpai... bug/JAL-4289_group_boundary_not_drawn_properly_in_fastpaint_or_paint
authorBen Soares <b.soares@dundee.ac.uk>
Wed, 25 Oct 2023 10:28:15 +0000 (11:28 +0100)
committerBen Soares <b.soares@dundee.ac.uk>
Wed, 25 Oct 2023 10:28:15 +0000 (11:28 +0100)

Trivial merge