Subject: Re: [Boost-users] [statechart] optional<event> - warning
From: Igor R (boost.lists_at_[hidden])
Date: 2010-08-05 16:23:25
> Yes, the matching placement operator delete would have an empty body.
> However, I will add one to silence the warning. May I ask you to open a
> ticket for this?
Of course,
Thanks!