[PATCH 2/3] Removed the delete option by right clicking on "Dive Info"

Dirk Hohndel dirk at hohndel.org
Thu Oct 25 11:23:59 PDT 2012

"Lubomir I. Ivanov" <neolit123 at gmail.com> writes:

> On 24 October 2012 20:36, Dirk Hohndel <dirk at hohndel.org> wrote:
>> Since these are clean patches that fix a real issue I pushed them on
>> master, but I really want to hear from more people.
> hmms, i can't see these on master.

Err, um, oops.

> they might have been lost somehow in the interpipes during push.

Or something :-)

pushed now


More information about the subsurface mailing list