From: Peter Dimov (pdimov_at_[hidden])
Date: 2024-01-08 16:03:21
Andrey Semashev wrote:
> What's the purpose of development snapshots? Can we drop them in favor of
> git checkout?
Website documentation snapshots for master and develop are created from
them.