Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Move various bits into Black Diamonds #295

Merged
merged 5 commits into from
Apr 29, 2019
Merged

Move various bits into Black Diamonds #295

merged 5 commits into from
Apr 29, 2019

Conversation

smarr
Copy link
Owner

@smarr smarr commented Apr 28, 2019

This moves:

  • SourceCoordinate and related
  • StructuralProbe
  • Send interface as Invocation

smarr added 3 commits April 27, 2019 12:03
Signed-off-by: Stefan Marr <git@stefan-marr.de>
Signed-off-by: Stefan Marr <git@stefan-marr.de>
Signed-off-by: Stefan Marr <git@stefan-marr.de>
@smarr smarr added the enhancement Improves the implementation with something noteworthy label Apr 28, 2019
@smarr smarr added this to the v0.7.0 milestone Apr 28, 2019
@smarr smarr self-assigned this Apr 28, 2019
smarr added 2 commits April 29, 2019 00:46
Signed-off-by: Stefan Marr <git@stefan-marr.de>
Signed-off-by: Stefan Marr <git@stefan-marr.de>
@smarr smarr changed the title Move to various bits into Black Diamonds Move various bits into Black Diamonds Apr 29, 2019
@smarr smarr merged commit 23075cb into dev Apr 29, 2019
@smarr smarr deleted the move-to-bd branch April 29, 2019 00:15
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
enhancement Improves the implementation with something noteworthy
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant