diff README @ 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 df5ecb813426
children 4b0fc75f9403
line wrap: on
line diff