aboutsummaryrefslogtreecommitdiff
path: root/dev/include
diff options
context:
space:
mode:
authorPierre-Marie Pédrot2020-09-04 11:47:06 +0200
committerPierre-Marie Pédrot2020-09-04 11:47:06 +0200
commite5a1aaa831a0aa93e6f986a011f129ec6b59af7a (patch)
tree4f37d50af8c97ab26dadeec7075db774776c5774 /dev/include
parentb2b908097a0410dd20e579e18d8dc64b25984d04 (diff)
parentedd11666d9e23f917929b57485010d4288d8beb3 (diff)
Merge PR #12912: Fix algebraic comparison with sprop on one side
Reviewed-by: mattam82 Reviewed-by: ppedrot
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions