This project is mirrored from https://*****:*****@git.fim.uni-passau.de/fruth/dbms-live-patching-supplementary-material.git. Pull mirroring failed Mar 21, 2024.
Repository mirroring has been paused due to too many failed attempts. It can be resumed by a project maintainer or owner.
Last successful update Mar 19, 2024.