commit | bdbe55dfe0da0ee069d8aed7d42abc3eb162160a | [log] [tgz] |
---|---|---|
author | Enrico Olivelli <eolivelli@apache.org> | Fri Jan 04 19:26:23 2019 +0100 |
committer | Enrico Olivelli <eolivelli@apache.org> | Fri Jan 04 19:26:23 2019 +0100 |
tree | 1066c4368a02254a2e614bf18d5752ed799d57d4 | |
parent | 25081ddbfa1cab5d0dbd97670fbbe6c726179ae8 [diff] |
Add GitHub PR instructions