Skip to content

Fixes #72683: Consider extra lines below the file when computing mini…#73420

Merged
alexdima merged 1 commit intomasterfrom
alex/72683
May 24, 2019
Merged

Fixes #72683: Consider extra lines below the file when computing mini…#73420
alexdima merged 1 commit intomasterfrom
alex/72683

Conversation

@alexdima
Copy link
Copy Markdown
Member

@alexdima alexdima commented May 7, 2019

…map layout

@alexdima alexdima added this to the May 2019 milestone May 7, 2019
@alexdima alexdima self-assigned this May 7, 2019
@alexdima alexdima merged commit 89d3e98 into master May 24, 2019
@github-actions github-actions bot locked and limited conversation to collaborators Mar 27, 2020
@alexdima alexdima deleted the alex/72683 branch June 28, 2020 20:13
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant