Skip to content

Feature/hugepage size#1211

Merged
bors[bot] merged 1 commit intonix-rust:masterfrom
GuillaumeDIDIER:feature/hugepage-size
Apr 22, 2020
Merged

Feature/hugepage size#1211
bors[bot] merged 1 commit intonix-rust:masterfrom
GuillaumeDIDIER:feature/hugepage-size

Conversation

@GuillaumeDIDIER
Copy link
Copy Markdown
Contributor

Should solve #1194 .

@asomers
Copy link
Copy Markdown
Member

asomers commented Apr 19, 2020

Please add a CHANGELOG entry.

GuillaumeDIDIER added a commit to GuillaumeDIDIER/nix that referenced this pull request Apr 20, 2020
@GuillaumeDIDIER
Copy link
Copy Markdown
Contributor Author

Done. Sorry about forgetting this.

Copy link
Copy Markdown
Member

@asomers asomers left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good. But could I please ask you to squash your commits?

Closes nix-rust#1194

Use git libc for development
(Remember to reset this to released version for the next nix release, once libc has released >=0.2.69)
@GuillaumeDIDIER
Copy link
Copy Markdown
Contributor Author

Squashed.

Copy link
Copy Markdown
Member

@asomers asomers left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

bors r+

@bors
Copy link
Copy Markdown
Contributor

bors bot commented Apr 22, 2020

Build succeeded:

@bors bors bot merged commit f54b5a8 into nix-rust:master Apr 22, 2020
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.

2 participants