math/coq: reset maintainer
Reset maintainer due to timeout (https://bugs.freebsd.org/283111).
Hat: bugmeister
Description
Description
Details
Details
- Provenance
linimon Authored on Sun, Nov 23, 4:23 AM - Parents
- R11:52d352ce8a56: x11-drivers/xorgxrdp*: Bump after xorg update
- Branches
- Unknown
- Tags