Closed samreid closed 7 years ago
Discovered in #109
Compare to the other ones:
Fixed in the preceding commit, see related issue #115 in case we change the toolbox layout, closing.
Discovered in #109