Build #2877:   Merge branch 'singleton_removal' on branch master about 1 month ago