Skip to content

Conversation

@shanshin
Copy link
Collaborator

@shanshin shanshin commented Jun 7, 2024

No description provided.

@shanshin shanshin requested a review from sandwwraith June 7, 2024 16:22
import java.time.format.DateTimeFormatter

/*
* Copyright 2000-2024 JetBrains s.r.o.
Copy link
Member

Choose a reason for hiding this comment

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

Copyright duplicated

@shanshin shanshin requested a review from sandwwraith June 7, 2024 16:40
@shanshin shanshin merged commit 44e2328 into main Jun 10, 2024
@shanshin shanshin deleted the release-0.8.1 branch June 10, 2024 10:53
This was confusing and made it difficult to search through documentation or examples.

Since `0.8.0`, there is only one `kover` extension left.
Since `0.8.1`, there is only one `kover` extension left.
Copy link
Contributor

Choose a reason for hiding this comment

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

Are these changes meant to be here? Shouldn't it remain 0.8.0?
They happened multiple times in this file

Copy link
Collaborator Author

Choose a reason for hiding this comment

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

In this case, yes, it is worth leaving 0.8.0.

For this case, we can rephrase it like: in any version 0.8.x there is only one kover extension left.

Copy link
Collaborator Author

Choose a reason for hiding this comment

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

Fixed, thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants