tree 79daa3a0fee98c01e2991a326a9df89d034221d5
parent d23ed6754d9472791452df35ca3585973b90c24c
author bluss <bluss@users.noreply.github.com> 1610313456 +0100
committer bluss <bluss@users.noreply.github.com> 1610313949 +0100

Apply suggestions - keep Visitable on astar