Patch title:
Release 94 bulk changes
Abstract:
File:
/pliant/graphic/browser/naive/tcp.pli
Key:
Removed line
Added line
public
constant browser_default_tcp_port 8036