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

Change trip new #381

Merged
merged 22 commits into from
Jul 18, 2023
Merged

Change trip new #381

merged 22 commits into from
Jul 18, 2023

Conversation

ue71603
Copy link
Contributor

@ue71603 ue71603 commented Jul 8, 2023

based on #357
I guess Malte, that you had it locally against master but it should have been against changes-v1.1
did you do any thing 4days ago, that should be included?

@trurlurl for the documentation see PR 357

@ue71603 ue71603 added enhancement New feature or request documentation labels Jul 8, 2023
@ue71603 ue71603 added this to the v2.0 milestone Jul 8, 2023
@ue71603 ue71603 mentioned this pull request Jul 8, 2023
@ue71603
Copy link
Contributor Author

ue71603 commented Jul 8, 2023

@herlitze If you did anything in the last 2 commits, then it needs to be redone here.

@herlitze
Copy link
Contributor

@ue71603 I will have a look, sorry for the troubles!

@ue71603 ue71603 changed the title Change tripnew Change trip new Jul 13, 2023
OJP/OJP_Trips.xsd Outdated Show resolved Hide resolved
skinkie
skinkie previously approved these changes Jul 18, 2023
herlitze
herlitze previously approved these changes Jul 18, 2023
@github-actions github-actions bot dismissed stale reviews from herlitze and skinkie via b1d4066 July 18, 2023 07:03
@skinkie skinkie merged commit 12c1219 into changes_for_v1.1 Jul 18, 2023
@skinkie skinkie deleted the changeTripnew branch July 18, 2023 07:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
doc updated enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants