dexter abandoned this change.

Abandoned

the situation is somewhat clearer now, we can go without this workaround

To view, visit change 43184. To unsubscribe, or for help writing mail filters, visit settings.