-
Cyril Brulebois authored
Probably due to some crontab, it gets created again and again behind our back. It could be skipped entirely, but having it commented doesn't hurt (it might even serve as a reminder to possibly see whether that can be avoided at all).
1980c66a