Skip to content

Fix case-insensitive comparison of channel names#250

Merged
osa1 merged 5 commits into
masterfrom
chan_name_type
Sep 20, 2020
Merged

Fix case-insensitive comparison of channel names#250
osa1 merged 5 commits into
masterfrom
chan_name_type

Conversation

@osa1

@osa1 osa1 commented Sep 12, 2020

Copy link
Copy Markdown
Owner

See the documentation in code for details.

Will fix #248 when complete.

I want to merge #249 first as this will touch the same code and there will be lots of merge conflicts.

Comment thread libtiny_common/src/lib.rs Outdated
Comment thread libtiny_common/src/lib.rs Outdated
@osa1
osa1 force-pushed the chan_name_type branch 2 times, most recently from c4951d9 to c34a6ab Compare September 19, 2020 03:18
@osa1
osa1 force-pushed the chan_name_type branch 2 times, most recently from 55e9474 to e81ec8b Compare September 20, 2020 10:41
This sets the stage for #248. See the documentation in the new crate and
the ChanName type for details.
@osa1
osa1 merged commit ce8d044 into master Sep 20, 2020
@osa1
osa1 deleted the chan_name_type branch September 20, 2020 15:50
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.

Channels/nicks need to be case-folded on match

2 participants