diff options
author | John Marino <marino@FreeBSD.org> | 2014-06-11 18:55:29 +0000 |
---|---|---|
committer | John Marino <marino@FreeBSD.org> | 2014-06-11 18:55:29 +0000 |
commit | d0bb05930a337e5f8a7c5dd53be0e863e27a3e51 (patch) | |
tree | 99ce4bc6ae9416a69ed46d090282a42fdb8cd962 /games/gturing | |
parent | 996a285788c9663dc90a72db3041084cd3a0bfd0 (diff) | |
download | ports-d0bb05930a337e5f8a7c5dd53be0e863e27a3e51.tar.gz ports-d0bb05930a337e5f8a7c5dd53be0e863e27a3e51.zip |
Reset the 99 ports still listed under sylvio@
Sylvio's last commit was 17 months ago, a full 5 months after all of his
ports could have been reset per policy. Given the push to complete
staging (48 ports are still unstaged, something like 70+ have already
been staged by other committers) and given that PRs are automatically
assigned but never addressed, it's better just to reset all the ports and
PRs so that it's clear to others that these ports are free to maintain.
Approved by: portmgr (implicit)
Notes
Notes:
svn path=/head/; revision=357526
Diffstat (limited to 'games/gturing')
-rw-r--r-- | games/gturing/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/games/gturing/Makefile b/games/gturing/Makefile index ca0ef149c1a5..c75d378adaa5 100644 --- a/games/gturing/Makefile +++ b/games/gturing/Makefile @@ -7,7 +7,7 @@ PORTREVISION= 18 CATEGORIES= games gnome MASTER_SITES= ftp://ftp.gnome.org/pub/gnome/sources/gturing/0.1/ -MAINTAINER= sylvio@FreeBSD.org +MAINTAINER= ports@FreeBSD.org COMMENT= Simple Turing machine simulator for GNOME 2 USE_GNOME= gnomeprefix gnomehack libgnomeui |