diff options
| author | Maxime Dénès | 2019-08-02 11:11:33 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2019-08-02 11:11:33 +0200 |
| commit | 12463d6d8064a79577efe0c231a768b3ef786cec (patch) | |
| tree | d4db40e39e70f41834e91371c50b84250efc029e /plugins | |
| parent | 8f52956f5b19b3b80b1cd6155e28e0af265f2d79 (diff) | |
| parent | 654254ca2e6ac94d3e0c62a127f92caff4b5938c (diff) | |
Merge PR #10553: Use a more traditional definition for uint63_div21 (fixes #10551).
Reviewed-by: maximedenes
Reviewed-by: proux01
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions