How to patch and fix a broken port?

[Robert Huff]

Dan Pelleg writes:

>  File a PR, and wait. Eventually someone will take care of it.

	I'm sure someone will confirm or refute this, but I believe
the ports system is currently frozen in preparation for the release
of 4.9.  Due to unusually extensive pre-release changes, the freeze
is now at two weeks and counting.
	Once the freeze is off a large number of ports will get
updated; there is apparently an unusually large bolus of changes
backed up never mind the fixing any breakage due to the changes in
4.9.


				Robert Huff