diff .hgtags @ 32674:7a7c4f3afb98

checkheads: drop now unused filtering of 'unsyncedheads' Now that unsynced heads are no longer in the function inputs or returns, we can simplify the code a bit.
author Pierre-Yves David <pierre-yves.david@octobus.net>
date Mon, 29 May 2017 05:21:38 +0200
parents 028e6b1fd119
children 1f37b084e8e7 fef451e3d9ca
line wrap: on
line diff