-
Micha Müller authored
-use variable length char arrays to store symbol names -fix unnoticed bug in Pusher-plugin
34427d8b
The container registry garbage collection is completed and you can write to the registry again. If you notice any containers missing which you still need and cannot restore yourself, please contact the LRZ Servicedesk (we have a backup).
2024-04-04: Due to updates GitLab will be unavailable for some minutes between 9:00 and 11:00.
-use variable length char arrays to store symbol names -fix unnoticed bug in Pusher-plugin