Skip to content
This repository has been archived by the owner on Jan 24, 2022. It is now read-only.

Added .note (INFO) section #256

Open
wants to merge 2 commits into
base: master
Choose a base branch
from
Open

Added .note (INFO) section #256

wants to merge 2 commits into from

Conversation

korken89
Copy link
Contributor

As we started to discuss in #255 I started a PR for this.
Let's bike-shed the name here :)

@korken89 korken89 requested a review from a team as a code owner March 30, 2020 07:50
@rust-highfive
Copy link

r? @ithinuel

(rust_highfive has picked a reviewer for you, use r? to override)

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants