diff options
| author | Pierre-Marie Pédrot | 2019-12-09 15:17:29 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2019-12-09 15:17:29 +0100 |
| commit | e176cec9cd3c9264919c8f2e773b608ec3ef2d07 (patch) | |
| tree | b1d40cbd6ee8fe2885f8af8eb44d87b0a6294ac2 /library/libobject.ml | |
| parent | d7f493c25a3b1135a4b5b50d85b1d1b4b5ab1b21 (diff) | |
| parent | 88dfc41e23964cb452092deaa67d2ff975ee2b65 (diff) | |
Merge PR #10829: Section.t is never empty
Ack-by: ejgallego
Reviewed-by: ppedrot
Diffstat (limited to 'library/libobject.ml')
0 files changed, 0 insertions, 0 deletions