diff options
| author | Vincent Laporte | 2019-02-20 15:47:07 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-02-20 15:47:07 +0000 |
| commit | 924468eb648750bf2cbb6de0b1c8f7a2960f0bf5 (patch) | |
| tree | 65bfc4f704ee52bacc1abe39f3049b6a178fbe99 /dev/tools | |
| parent | 27838d59f12fde650191c61f3d2168daa1ac2bd3 (diff) | |
| parent | 93dc998702e7c3ba13d3bc0250446dcad5fd027d (diff) | |
Merge PR #9529: Change Primitive message: "is registered" -> "is declared".
Reviewed-by: vbgl
Diffstat (limited to 'dev/tools')
0 files changed, 0 insertions, 0 deletions