svn commit: r564100 - head

[Baptiste Daroussin]

Author: bapt
Date: Fri Feb  5 10:17:06 2021
New Revision: 564100
URL: https://svnweb.freebsd.org/changeset/ports/564100

Log:
  Fix typo

Modified:
  head/MOVED

Modified: head/MOVED
==============================================================================
--- head/MOVED	Fri Feb  5 09:51:22 2021	(r564099)
+++ head/MOVED	Fri Feb  5 10:17:06 2021	(r564100)
@@ -16143,4 +16143,4 @@ sysutils/gstreamer-plugins-hal||2021-02-04|Replaced by
 www/gstreamer-plugins-neon|www/gstreamer1-plugins-neon|2021-02-04|Replaced by gstreamer1
 x11-toolkits/gstreamer-plugins-pango|x11-toolkits/gstreamer1-plugins-pango|2021-02-04|Replaced by gstreamer1
 x11-themes/gnome-themes-extras|x11-themes/gnome-themes-extra|2021-02-04|Gnome2 desktop has been removed long ago
-math/why3||2021-02-04|Depends on deprecated gnome3 library, very outdated and unmaintained
+math/why3||2021-02-04|Depends on deprecated gnome2 library, very outdated and unmaintained