Re: PATCHES: Countdown for Septemeber 3rd - 06:00 GMT

[Frédéric Bron]

Hi,

> Countdown – September 3rd – 06:00 GMT
> 3513 Enhancement Frederic Bron Push Patch: removed unused code: functions 
> that are declared but never defined and stream.hh
> 3511 Enhancement Frederic Bron Push Patch: removed unused header 
> tie-column-format.hh
> Countdown – September 6th – 06:00 GMT
> 3513 Enhancement Frederic Bron Push Patch: removed unused code: functions 
> that are declared but never defined and stream.hh
> 3511 Enhancement Frederic Bron Push Patch: removed unused header 
> tie-column-format.hh

What does this exaclty mean when the countdown message says Push? It
seems that the Countdown message for the 3rd and for the 6th of
September are identical and I do not see these patches pushed to
origin/master.

Thanks,

Frédéric