diff options
| author | Gaëtan Gilbert | 2020-04-28 20:29:33 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-04-28 20:29:33 +0200 |
| commit | 0e46754c30573206299c0ef2cbf2289a592bbcda (patch) | |
| tree | 0349be278f15aaad42fa58b73d509e0d5bee9710 /dev | |
| parent | 16559843925f3489b61920ff398680f10f1f00cc (diff) | |
| parent | 0b16247d6b9bb54c8c4ead42ecacfb0f59396197 (diff) | |
Merge PR #12183: Suggestion of improvement for the Allow SProp error message.
Reviewed-by: SkySkimmer
Reviewed-by: jfehrle
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions
