Re: [v3 PATCH] Minor comment cleanup on optional.

[Jonathan Wakely]

On 18/07/16 15:43 +0300, Ville Voutilainen wrote:

   Clean up optional's comments.
   * include/std/optional: Remove incorrect section headers
   from comments when redundant, replace bare section
   headers with more descriptive comments.

OK for trunk, thanks.