Skip to content
This repository has been archived by the owner on Jul 16, 2024. It is now read-only.

Discard outdated extensions #335

Merged
merged 19 commits into from
Feb 11, 2023
Merged

Discard outdated extensions #335

merged 19 commits into from
Feb 11, 2023

Conversation

Goooler
Copy link
Owner

@Goooler Goooler commented Feb 9, 2023

For #54.

@Goooler Goooler changed the title Replace String.times with CharSequence.repeat Cleanup BaseExtensions Feb 9, 2023
@Goooler Goooler mentioned this pull request Feb 9, 2023
@Goooler Goooler changed the title Cleanup BaseExtensions Discard outdated extensions Feb 9, 2023
@Goooler Goooler enabled auto-merge (squash) February 11, 2023 08:48
@Goooler Goooler merged commit bc83d8e into trunk Feb 11, 2023
@Goooler Goooler deleted the replace_times_with_repeat branch February 11, 2023 08:51
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant