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

apply_neighborhood improvements #390

Merged
merged 4 commits into from
Jan 31, 2023
Merged

apply_neighborhood improvements #390

merged 4 commits into from
Jan 31, 2023

Conversation

m-mohr
Copy link
Member

@m-mohr m-mohr commented Oct 9, 2022

Proposal for issues #385, #386 and #387.

@m-mohr m-mohr force-pushed the apply_neighborhood branch from 666d009 to 0707981 Compare October 9, 2022 12:07
@m-mohr m-mohr changed the base branch from draft to draft-2.0 November 10, 2022 15:28
@m-mohr m-mohr deleted the branch draft-2.0 November 10, 2022 15:30
@m-mohr m-mohr closed this Nov 10, 2022
@m-mohr m-mohr reopened this Nov 10, 2022
CHANGELOG.md Outdated Show resolved Hide resolved
Co-authored-by: Lukas Weidenholzer <17790923+LukeWeidenwalker@users.noreply.github.com>
apply_neighborhood.json Outdated Show resolved Hide resolved
CHANGELOG.md Outdated Show resolved Hide resolved
Co-authored-by: Stefaan Lippens <soxofaan@users.noreply.github.com>
# Conflicts:
#	CHANGELOG.md
#	apply_neighborhood.json
@m-mohr m-mohr merged commit b574aa5 into draft-2.0 Jan 31, 2023
@m-mohr m-mohr deleted the apply_neighborhood branch January 31, 2023 13:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
3 participants