diff debian/source/format @ 4453:700b8b3a5a54

evolve: clarify output when phase-divergence resolution results in no change I found it pretty confusing that it said "committed as abcd1234" when no commit was created.
author Martin von Zweigbergk <martinvonz@google.com>
date Wed, 20 Mar 2019 09:19:02 -0700
parents 0021301f7fde
children
line wrap: on
line diff