Build #22 (Oct 5, 2019 6:15:48 PM)

1. refactor TabOverlayProviderSet (commit: 5ccfe92) (details / githubweb)

Started by GitHub push by CodeCrafter47

• refs/remotes/origin/master