bors 078183231b Auto merge of #16179 - nicolas-guichard:scip/new_fields, r=Veykril
SCIP: populate new SymbolInformation fields

Fixes #15919
2024-01-03 12:56:47 +00:00
..
2023-12-19 08:49:00 +01:00
2023-12-06 14:36:39 +01:00
2024-01-03 13:05:36 +01:00
2023-12-05 17:07:00 +01:00
2023-12-06 14:36:39 +01:00