Is there an official bug reporting mechanism?

In mlDIQueueDestroy() the memory for the queue is always freed. According to the spec it should only be freed if no pre-allocated space was passed to mlDIQueueCreate().

---JvdL---