Skip to content

Conversation

@curquiza
Copy link
Member

@curquiza curquiza commented Nov 5, 2020

No description provided.

@curquiza curquiza added the skip-changelog The PR will not appear in the release changelogs label Nov 5, 2020
@curquiza
Copy link
Member Author

curquiza commented Nov 5, 2020

bors try

bors bot added a commit that referenced this pull request Nov 5, 2020
@bors
Copy link
Contributor

bors bot commented Nov 5, 2020

try

Build succeeded:

@curquiza curquiza requested a review from bidoubiwa November 5, 2020 14:51
@curquiza curquiza requested a review from bidoubiwa November 9, 2020 13:26
curquiza and others added 3 commits November 9, 2020 14:28
Co-authored-by: cvermand <33010418+bidoubiwa@users.noreply.github.com>
@curquiza curquiza force-pushed the improve-pagination-information branch from 0ea4626 to 16a8a21 Compare November 9, 2020 13:29
@curquiza curquiza merged commit 1ba302a into master Nov 9, 2020
@curquiza curquiza deleted the improve-pagination-information branch November 9, 2020 13:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

skip-changelog The PR will not appear in the release changelogs

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants