The post-mortem for the bug has been published.
No user funds were compromised as a result of this bug to the best of the team’s knowledge, though there remains a small < 0.5ETH differential in the fee pool, which we will follow up with a remedy for in the post mortem.
After some follow up analysis, it does not seem that there is a fee discrepancy caused by this particular bug and the previously mentioned discrepancy thought to be caused by this bug was caused by a mistake in calculations used in the previous analysis.