diff options
| author | Pierre-Marie Pédrot | 2019-12-18 16:56:08 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2019-12-18 16:56:08 +0100 |
| commit | 333b2f369c9a0ab61597cc9174a77632d263f386 (patch) | |
| tree | 2e2db1d45b26c1a758346959a83cd6cd84c36e6a /dev | |
| parent | dfdfa9eeedebb0aec2cd72be9c1eee27ca9b2fab (diff) | |
| parent | 3c24d4f6398cc80fd070c4e6dcac99670c8c1bba (diff) | |
Merge PR #10616: Fix push_universe_context* interfaces to use a consistent ~strict flag
Ack-by: SkySkimmer
Ack-by: ejgallego
Reviewed-by: ppedrot
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions