James E. Blair fd4fd57409 Remove port 22 from webservers extra ports
This isn't necessary since it's hard-coded into the file.  Let's
not add it where it isn't needed lest we confuse ourselves into
thinking it's necessary.

Change-Id: I011c647bb85e145e55fb6feb19facdedec180bf1
2021-08-11 14:21:34 -07:00
..
2021-07-21 13:12:43 +10:00