Remove duplicate tag
Merge branch 'optimization' of github.com:Cumulus/Cumulus into optimization

Conflicts:
	src/base/db/db_feed_ng.ml
commit not finished (lol, cc jpdeplaix)