Closed davidhewitt closed 2 weeks ago
While tidying up #4245, spotted this as a relatively clear simplification of the user API.
While tidying up #4245, spotted this as a relatively clear simplification of the user API.