diff .hgtags @ 12:c5a66cdf45e2

Fix for a longstanding (and unnoticed... until now...) bug with interrupted attempts at milling.
author Geoff Brock <mischivin@gmail.com>
date Wed, 17 Aug 2016 13:51:13 -0400
parents 7adac5b705e6
children 57dbbffacc21
line wrap: on
line diff