diff COPYING @ 25594:186321309d05

phase: also overwrite phase's sets when replacing a phasecache We need to copy this new attributes around too. This fix an issue where phases data used by 'not public()' were not invalidated properly.
author Pierre-Yves David <pierre-yves.david@fb.com>
date Mon, 15 Jun 2015 16:08:22 -0700
parents 8c8b55733cbd
children
line wrap: on
line diff