Not sure I'm still getting ooo-dev emails

[David McKay]

Can somebody check that I'm still subscribed to ooo-dev?

(I'm definitely still subscribed to ooo-private.)

Thanks, Dave.