Skip to content

Conversation

drc38
Copy link
Collaborator

@drc38 drc38 commented Jul 28, 2021

No description provided.

@drc38 drc38 added the enhancement New feature or request label Jul 28, 2021
@drc38 drc38 requested a review from lbbrhzn July 28, 2021 05:03
Copy link
Owner

@lbbrhzn lbbrhzn left a comment

Choose a reason for hiding this comment

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

Looks like there are a lot of changes, not just for diagnostics. Is that because you've merged on other PRs?

@drc38
Copy link
Collaborator Author

drc38 commented Jul 28, 2021

It includes #106, so assume once #106 is merged then the get diagnostics code will be left. Is there any way to link it to #106 so it shows diffs from there?

@lbbrhzn
Copy link
Owner

lbbrhzn commented Jul 28, 2021

There are some merge conflicts that need to be resolved before this can be merged.

@drc38
Copy link
Collaborator Author

drc38 commented Jul 29, 2021

There are some merge conflicts that need to be resolved before this can be merged.

Cheers, conflicts resolved so it can be merged now.

@lbbrhzn lbbrhzn merged commit a063f3e into lbbrhzn:main Jul 29, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants