-
Guillaume Melquiond authored
When sessions are saved and then loaded from disk, goal identifiers are properly qualified. This is not the case when goals are still in memory due to reloading a file in the ide. So merging can get confused since several goals potentially share the same base name.
4c022d64