Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Publish minutes of 2022-10-27 meeting #305

Merged
merged 1 commit into from
Oct 28, 2022
Merged

Publish minutes of 2022-10-27 meeting #305

merged 1 commit into from
Oct 28, 2022

Conversation

Rob--W
Copy link
Member

@Rob--W Rob--W commented Oct 27, 2022

Generated from https://docs.google.com/document/d/1QkwhEMtMS67JBUkl_WVPZ4lRSKoWcQNlLJSf_GwSXg8/edit using the tool and process from #105.

During this meeting we discussed or mentioned #292, #293, #294, #295, #296, #298, #300, #301, #302, #303. While an agenda was prepared in #297, we didn't have time to go through all issues and went through all recently reported issues instead.

For the next meeting, note that there are daylight saving time changes, from PDT to PST. Meeting starts at 4 PM UTC instead of 3 PM UTC. This is still 5 PM CET.

@Rob--W Rob--W merged commit 4084eb1 into main Oct 28, 2022
@Rob--W Rob--W deleted the meeting-2022-10-27 branch October 28, 2022 14:09
github-actions bot added a commit that referenced this pull request Oct 28, 2022
SHA: 4084eb1
Reason: push, by Rob--W

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants