Merge known-project lists from multiple processes
Merge pull request #515 from thomasf/issue/bbatosv/506-known-projects-merge

Merge known-project lists from multiple processes