What happened?
The default imports are a subset of jshell default imports (/imports), we should document which are the PG default imports.
OS
Other
What browsers are you seeing the problem on?
Other
Contact Details (optional)
No response
Additional information
Leave blank
What happened?
The default imports are a subset of jshell default imports (
/imports), we should document which are the PG default imports.OS
Other
What browsers are you seeing the problem on?
Other
Contact Details (optional)
No response
Additional information
Leave blank