GitLab

(Fset_network_process_option): Update process contact list when
setting option succeeds.
(Fmake_network_process): Doc fix.