No mail after push

[Jean-Pierre Chrétien]

Dear developers,

I have pushed an update of fr.po and fr.gmo on master 9 days ago at
7ca89e49, I did not see an acknowledgement on lyx-devel as usual.
Is this a normal behaviour ?

--
Jean-Pierre