On Jun 7, 2024, at 00:32, Lorenz via users wrote: > > You might want to retain the repository UUID, otherwise you would need > to re-checkout your working copies
Loading the dumpfile into a new repository will preserve the UUID unless you tell it not to.
