26 Jul
2018
26 Jul
'18
1:12 p.m.
On Thu, Jul 26, 2018 at 5:33 AM, Bjorn Reese via Boost-users
On 07/25/18 19:12, Vinnie Falco via Boost-users wrote: post() is an asynchronous operation, so it takes care of that (see section 13.23.)
I'm certain that the executor_work_guard is needed, this guidance comes from Chris. The note in 13.23 is non-normative and probably misleading in this context. I'll raise the point with the editor.