.issues/8aa25bcae639fc99/new/1221008555.M677989P30017Q19.cole
author Dmitriy Morozov <dmitriy@mrzv.org>
Tue, 27 Jun 2017 09:37:05 -0700
changeset 285 d9a79a28e3cc
parent 89 089d799d7ea2
permissions -rwxr-xr-x
Merge dev into default, to avoid the need for 'hg up tip' after clone

From: Dmitriy Morozov <morozov@cs.duke.edu>
Date: Fri, 04 Apr 2008 16:16:41
Subject: Handled but mislabeled
Message-Id: <8aa25bcae639fc99-bbca170318887f06-artemis@moscow>
References: <8aa25bcae639fc99-0-artemis@moscow>
In-Reply-To: <8aa25bcae639fc99-0-artemis@moscow>

The situation is already handled in the code, but was mislabeled as Case 1.1.2