Opened 12 years ago

Closed 12 years ago

#4817 closed Bugs (fixed)

The order of deferred events is not preserved under certain circumstances

Reported by: Andreas Huber Owned by: Andreas Huber
Milestone: Boost 1.46.0 Component: statechart
Version: Boost 1.44.0 Severity: Problem
Keywords: Cc:

Description

Change History (2)

comment:1 by Andreas Huber, 12 years ago

Status: newassigned

comment:2 by Andreas Huber, 12 years ago

Resolution: fixed
Status: assignedclosed

(In [66410]) Fixes #4817.

Note: See TracTickets for help on using tickets.