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-08-02 09:53:27 -07:00
2021-06-28 19:39:41 +00:00
2021-08-11 14:20:41 -07:00
2020-07-08 13:54:44 +10:00
2021-04-13 13:51:48 -07:00
2021-03-18 11:59:30 +11:00
2021-03-19 16:01:46 +11:00
2021-07-20 11:57:10 +10:00