Skip to content

Minor renames and type fixes#176

Merged
aaronchongth merged 3 commits intomainfrom
fix-diagram-properties
Feb 24, 2026
Merged

Minor renames and type fixes#176
aaronchongth merged 3 commits intomainfrom
fix-diagram-properties

Conversation

@aaronchongth
Copy link
Member

Bug fix

Fixed bug

Minor rename and type fixes to match newer API

GenAI Use

We follow OSRA's policy on GenAI tools

  • I used a GenAI tool in this PR.
  • I did not use GenAI

Generated-by:

Signed-off-by: Aaron Chong <aaronchongth@gmail.com>
Signed-off-by: Aaron Chong <aaronchongth@gmail.com>
Signed-off-by: Aaron Chong <aaronchongth@gmail.com>
@mxgrey mxgrey self-requested a review February 24, 2026 01:22
@mxgrey mxgrey moved this from Inbox to In Review in PMC Board Feb 24, 2026
@aaronchongth aaronchongth merged commit 767ed53 into main Feb 24, 2026
5 checks passed
@aaronchongth aaronchongth deleted the fix-diagram-properties branch February 24, 2026 04:37
@github-project-automation github-project-automation bot moved this from In Review to Done in PMC Board Feb 24, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

2 participants