On Tue, Aug 30, 2016 at 04:32:20PM -0700, [email protected] wrote: > # HG changeset patch > # User David Champion <[email protected]> > # Date 1472599870 25200 > # Tue Aug 30 16:31:10 2016 -0700 > # Node ID b8cc2b58219505f3d5f348a7dece9a3e1a3a96ee > # Parent 121fa0badf9e9d0ec311345c48827bed24edc754 > When $flag_safe is set, flagged messages cannot be deleted. > > This saves them from bulk operations on threads and tagged messages. To > remove a flagged message, first unflag it.
Looks good to me. -- Kevin J. McCarthy GPG Fingerprint: 8975 A9B3 3AA3 7910 385C 5308 ADEF 7684 8031 6BDA
signature.asc
Description: PGP signature
