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

[Dirk Hohndel]

"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

/D