tree 68f128361d0d36568d069c803eede23dd8250441
parent 37a8a0a1f9c4b1eb6c00c0043b9eb455facdcad9
author Michael Tuexen <tuexen@fh-muenster.de> 1562073333 +0200
committer Michael Tuexen <tuexen@fh-muenster.de> 1562073333 +0200

Add various socket option names.