diff tests/test-minirst.py.out @ 41880:55919b96c02a

discovery: avoid computing identical sets of heads twice The very same set of heads is computed in the previous statement, it seems more efficient to just copy that result.
author Pierre-Yves David <pierre-yves.david@octobus.net>
date Thu, 28 Feb 2019 00:12:12 +0100
parents 6582b3716ae0
children aaff3bc75306
line wrap: on
line diff