Skip to content

Finish up the haddock bug fix started in #349 - #352

Merged
Shimuuar merged 1 commit into
masterfrom
partition-with-doc-fix
Jan 16, 2021
Merged

Finish up the haddock bug fix started in #349#352
Shimuuar merged 1 commit into
masterfrom
partition-with-doc-fix

Conversation

@lehins

Copy link
Copy Markdown
Contributor

Here is a haddock fixup for the rest of partitionWith functions tat was started in #349

@lehins
lehinsforce-pushed the partition-with-doc-fix branch from 8061259 to 4d6f64cCompareJanuary 16, 2021 03:49
@Shimuuar

Copy link
Copy Markdown
Contributor

And Generic too :)

@Bodigrim

Copy link
Copy Markdown
Contributor

Please rebase it without f081ef4, so that it does not interfere with #353.

@lehins
lehinsforce-pushed the partition-with-doc-fix branch from 5ca3979 to a848953CompareJanuary 16, 2021 14:17
@lehins
lehinsforce-pushed the partition-with-doc-fix branch from a848953 to 8072eeaCompareJanuary 16, 2021 14:25
@lehins

Copy link
Copy Markdown
ContributorAuthor

@Shimuuar Damn, the generic one didn't even have haddock :) Done.

@Bodigrim Done. I just hate merging PRs into master with failing CI

@Shimuuar
Shimuuar merged commit f7b5240 into masterJan 16, 2021
@Shimuuar
Shimuuar deleted the partition-with-doc-fix branch January 16, 2021 15:13
lehins added a commit that referenced this pull request Jan 16, 2021
Sign up for freeto 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.

3 participants

@lehins@Shimuuar@Bodigrim