diff options
| author | Pierre-Marie Pédrot | 2020-04-14 12:24:18 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-04-14 12:24:18 +0200 |
| commit | b26d17a6a76b6758d0f22eaa025b1c31b474809f (patch) | |
| tree | f119296a9a545132d81e0a78ade56883968f11d3 /doc/plugin_tutorial/tuto1 | |
| parent | 585884b757b8eef4052ddb45b42b15bfce372c0d (diff) | |
| parent | f6f2433eddde8b4e09f2ef72f43db88892d03620 (diff) | |
Merge PR #11985: Fix #11934 equality on constrexpr ignores instances of explicit applications
Ack-by: herbelin
Reviewed-by: ppedrot
Diffstat (limited to 'doc/plugin_tutorial/tuto1')
0 files changed, 0 insertions, 0 deletions