Skip to content

Differentiate between revovling doors and other types #186

Merged
7h30n3 merged 3 commits intomasterfrom
automatic_door_questions
Jul 4, 2023
Merged

Differentiate between revovling doors and other types #186
7h30n3 merged 3 commits intomasterfrom
automatic_door_questions

Conversation

@7h30n3
Copy link
Copy Markdown
Member

@7h30n3 7h30n3 commented Jun 29, 2023

…regarding automatic opening

Refers to #164 (comment)

@7h30n3
Copy link
Copy Markdown
Member Author

7h30n3 commented Jun 30, 2023

@Robbendebiene Robbendebiene self-requested a review July 4, 2023 07:31
Copy link
Copy Markdown
Member

@Robbendebiene Robbendebiene left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@7h30n3 7h30n3 merged commit 54890a9 into master Jul 4, 2023
@7h30n3 7h30n3 deleted the automatic_door_questions branch July 4, 2023 07:33
yulieth9109 pushed a commit to yulieth9109/OpenStop that referenced this pull request Aug 31, 2023
* Differentiate between revovling doors and other types regarding automatic opening
* Split automatic_door question for revolving doors and others

Makes OPENER-next#164 obsolete.
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