<html>
  <head>

    <meta http-equiv="content-type" content="text/html; charset=utf-8">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    <meta http-equiv="content-type" content="text/html; charset=utf-8">
    <pre>Patch attached. 

Notice that this is the patch suggested by Henkrik, who might want to implement it himself. In that case, just ignore this one.

As asked for on the mailinglisrt, a menu item is added to return
to the Divelist the easy way. In addition to the standard Android
back button.

Signed-off-by: Jan Mulder <a class="moz-txt-link-rfc2396E" href="mailto:jlmulder@xs4all.nl"><jlmulder@xs4all.nl></a></pre>
    <title></title>
    <meta name="generator" content="LibreOffice 5.0.4.2 (Linux)">
    <style type="text/css">
                @page { margin: 0.79in }
                p { margin-bottom: 0.1in; line-height: 120% }
        </style>
  </body>
</html>