<div dir="ltr">Dear all,<div><br></div><div>This patch allows the user to delete dives using the delete key.</div><div><br></div><div><br></div><div>-</div><div>Grace K</div></div>