aboutsummaryrefslogtreecommitdiff
path: root/.github/pull_request_template.md
diff options
context:
space:
mode:
authorCyril Cohen2020-08-13 17:22:21 +0200
committerGitHub2020-08-13 17:22:21 +0200
commit43ac266e1e99cad08a9c291b99efcc7eddc244e7 (patch)
tree4199189c1d088c23d4df5f547f3c6d7a20ee6b85 /.github/pull_request_template.md
parent6bb890c906f8cf9b9abfcca5e28921edf3a349a4 (diff)
parentc0c2fd1e679688411c0c81ceab4066f2da5486e5 (diff)
Merge pull request #545 from pi8027/fieldext
Make [fieldExtType F of L] work for abstract instances
Diffstat (limited to '.github/pull_request_template.md')
0 files changed, 0 insertions, 0 deletions