aboutsummaryrefslogtreecommitdiff
path: root/dev
diff options
context:
space:
mode:
authorSimonBoulier2020-01-08 11:00:05 +0100
committerGitHub2020-01-08 11:00:05 +0100
commitb9f3e03dd07e678ce900f332cf4653c5d222ee16 (patch)
tree3dd390c63c86f7365def54d6c0835a459abce28b /dev
parent9cbd740cd7e8936a9411528fc5dd4d5ddb0d3c1d (diff)
Update doc/changelog/02-specification-language/11368-trailing_implicit_error.rst
Co-Authored-By: Théo Zimmermann <theo.zimmi@gmail.com>
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions