This repository has been archived on 2023-07-01. You can view files and clone it, but cannot push or open issues or pull requests.

Thibaut Girka 0c2d48b60a Replace animated oops.gif by a non-animated image ...

Fixes #6060

2018-12-19 20:49:58 +01:00

26 KiB

Raw History