mirror of
https://github.com/php/php-src.git
synced 2026-04-13 11:02:55 +02:00
If we have the position already from the last fetch, we also have to preset the current group, because it won't be read again.
If we have the position already from the last fetch, we also have to preset the current group, because it won't be read again.