diff options
| author | Dmitry Petrashko <dark@d-d.me> | 2015-05-06 16:07:27 +0200 |
|---|---|---|
| committer | Dmitry Petrashko <dark@d-d.me> | 2015-05-06 16:07:27 +0200 |
| commit | 905c541ba39f667f8b08fae85cb875470e283492 (patch) | |
| tree | 2ca845e9cdf2307d5d60d63b86356a45f53eef7b /CONTRIBUTING.md | |
| parent | a52ca600f2ad427276d1cdabd56133ffd0ed7610 (diff) | |
| parent | 8f5f07fd16e5cff662a0b919ba562004b4096925 (diff) | |
| download | dotty-905c541ba39f667f8b08fae85cb875470e283492.tar.gz dotty-905c541ba39f667f8b08fae85cb875470e283492.tar.bz2 dotty-905c541ba39f667f8b08fae85cb875470e283492.zip | |
Merge pull request #541 from dotty-staging/fix/#537-extractors
Drop the requirement that extractors with `get` must implement Product
Diffstat (limited to 'CONTRIBUTING.md')
0 files changed, 0 insertions, 0 deletions