Ordered dumps #706

Merged

muellerr merged 16 commits from ordered-dumps into main 2023-06-26 18:11:08 +02:00

Conversation 0 Commits 16 Files Changed 6 +251 -100

muellerr commented 2023-06-24 10:05:58 +02:00

Owner

Copy Link

No description provided.

muellerr added 5 commits 2023-06-24 10:06:01 +02:00

implement ordered sets 1d047f3c92

some fxes 9023405b96

some more fixes 2e041c3013

Merge remote-tracking branch 'origin/main' into ordered-dumps 97d41a125b

seems to work now 18b67d18a7

muellerr changed title from ordered-dumps to Ordered dumps 2023-06-24 10:08:26 +02:00

muellerr added this to the v4.1.0 milestone 2023-06-24 10:10:22 +02:00

muellerr added 1 commit 2023-06-24 11:09:11 +02:00

seems to work well a8ab40674f

muellerr added 1 commit 2023-06-24 11:47:00 +02:00

this is tricky 53b48ad99b

muellerr added 1 commit 2023-06-24 12:01:13 +02:00

that should make it work 04f4eedb78

muellerr changed title from Ordered dumps to WIP: Ordered dumps 2023-06-24 12:06:56 +02:00

muellerr added 3 commits 2023-06-25 10:21:22 +02:00

that was all the fixes (hopefully) 25d10e3877

delete ordering c50a74d117

Merge remote-tracking branch 'origin/main' into ordered-dumps b4778f3ce9

muellerr changed title from WIP: Ordered dumps to Ordered dumps 2023-06-25 10:21:42 +02:00

muellerr requested review from meggert 2023-06-25 10:21:47 +02:00

meggert approved these changes 2023-06-25 10:46:16 +02:00

meggert left a comment

Owner

Copy Link

changelog?

changelog?

muellerr added 1 commit 2023-06-25 11:06:28 +02:00

Merge branch 'main' into ordered-dumps 491a341efe

muellerr added 2 commits 2023-06-25 11:07:41 +02:00

changelog 76933671a6

Merge branch 'ordered-dumps' of https://egit.irs.uni-stuttgart.de/eive/eive-obsw into ordered-dumps 8b13337845

muellerr added 1 commit 2023-06-26 15:34:51 +02:00

Merge remote-tracking branch 'origin/main' into ordered-dumps 3e21f9c259

muellerr modified the milestone from v4.1.0 to v5.0.0 2023-06-26 17:45:12 +02:00

muellerr modified the milestone from v5.0.0 to v5.1.0 2023-06-26 17:45:17 +02:00

muellerr added 1 commit 2023-06-26 17:57:21 +02:00

Merge remote-tracking branch 'origin/main' into ordered-dumps 0dfe68eb8d

muellerr merged commit 0764646d2b into main 2023-06-26 18:11:08 +02:00

muellerr referenced this issue from a commit 2023-06-26 18:11:08 +02:00

Merge pull request 'Ordered dumps' (#706) from ordered-dumps into main

muellerr deleted branch ordered-dumps 2023-06-26 18:11:09 +02:00

Sign in to join this conversation.

Reviewers

No reviewers

meggert

Labels

Clear labels   

OPS TODO

Issues identified by OPS

  

api change

API change

  

breaking api change

API change which can break existing code

  

bug

Something is not working

  

documentation

Documentation

  

duplicate

This issue or pull request already exists

  

feature

New feature

  

help wanted

Need some help

  

invalid

Something is wrong

  

question

More information is needed

  

wontfix

This won't be fixed

No Label

OPS TODO

api change

breaking api change

bug

documentation

duplicate

feature

help wanted

invalid

question

wontfix

Milestone

Clear milestone

No items

No Milestone

v5.1.0

Assignees

Clear assignees

No Assignees

2 Participants

Notifications

Subscribe

Due Date

The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: eive/eive-obsw#706

No description provided.