diff options
| author | Gaëtan Gilbert | 2018-12-18 13:52:52 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-01-08 13:33:31 +0100 |
| commit | e323a36fd79000df30bbac9911d00ca80589fb23 (patch) | |
| tree | ab797240389d95894d1fc0d59c489f9855ccdb90 /kernel/type_errors.mli | |
| parent | 8c040974facb733682d24c488dc89941671f4ab7 (diff) | |
merge-pr: add reviewer info to commit message
This produces a commit message like
~~~
Merge PR #9250: coqchk: fix check for kelim with functors
Reviewed-by: ppedrot
Ack-by: mattam92
~~~
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions