bug #267 Fix error in chain_test in gitlab autobuild #635

Merged

vampik merged 5 commits from bug/267-fix-chain_test into develop

2022-01-28 15:05:50 +00:00

Author	SHA1	Message	Date
serkixenos	0d6b171874	Merge branch 'develop' into bug/267-fix-chain_test	2022-01-28 10:53:51 -04:00
Vladislav Dobromyslov	a5d6bcb825	#267 Use set (sorted by std::greater) instead of unordered_set for new_ids	2022-01-28 02:58:20 -04:00
serkixenos	d4c7c97f4c	Merge branch 'beatrice' into develop	2021-12-16 20:57:46 -04:00
serkixenos	cfbe0a0dae	Merge branch 'master' into beatrice	2021-12-16 20:52:01 -04:00
serkixenos	5a922821da	Revert change to a son_update_operation	2021-12-16 17:43:20 -04:00