Actually remove sources when they should be removed

@danilo

added 1 commit

• c03cf9ba - Make sure to populate source's keys before removing one

Compare with previous version

added 4 commits

• c03cf9ba...6240cba4 - 2 commits from branch master
• f60fb376 - Actually remove sources when they should be removed
• 755c3e4e - Make sure to populate source's keys before removing one

Compare with previous version

added 1 commit

• 054f42b8 - Fix optimized get_index_group_sample when keys have been removed

Compare with previous version

LGTM

merged

mentioned in commit f6f49ab1