towards 4.9.4

[Dirk Hohndel]

On Thu, 2020-04-16 at 21:49 +0200, Berthold Stoeger wrote:
> 
> > - Section 5.1 we see several screen shots and a discussion of the
> > "this
> > dive is being edited" warning. I believe (and Berthold, please
> > confirm)
> > that this is now a thing of the past. If there still are actions
> > that
> > trigger this warning, then I haven't come across of them in my use
> > /
> > testing of the latest master.
> 
> There is one case left: editing the profile of a manually added dive.
> From a 
> UI and code-hygiene point of view, we should probably move the
> message to the 
> profile.

Is this something you would be comfortable doing (I know how much you
LOVE working on the UI)...?

> > Thanks for all the amazing work that you do to make this user
> > manual an
> > extremely useful resource for our users.
> 
> I second that.

The depth, breadth, and attention to detail is always humbling to me.

/D