+
Skip to content

Conversation

qor-lb
Copy link
Contributor

@qor-lb qor-lb commented Sep 9, 2025

Reverts #1395

Platform extensions should not be merged until #1691 is clarified.

Copy link

github-actions bot commented Sep 9, 2025

The created documentation from the pull request is available at: docu-html

@FScholPer
Copy link
Contributor

Did you also talk with @odra ?

@odra
Copy link
Contributor

odra commented Sep 10, 2025

hey @FScholPer, yes, @qor-lb and I talked in slack, ergo my thumbs up to this PR.

@qor-lb qor-lb merged commit 88c9d6b into main Sep 10, 2025
8 checks passed
@qor-lb qor-lb deleted the revert-1395-issue-855_autosd-dev-platform branch September 10, 2025 07:00
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.

3 participants

点击 这是indexloc提供的php浏览器服务,不要输入任何密码和下载