Comment 38 for bug 405251

Revision history for this message
Frits Jalvingh (fjalvingh) wrote :

In the meantime I upgraded the server from 1.16.1 to 1.17; this at least allowed the push that was blocking earlier to continue.