Skip to content

Use global-port-print-handler instead of current-print; fixes #725 #1441

Use global-port-print-handler instead of current-print; fixes #725

Use global-port-print-handler instead of current-print; fixes #725 #1441