diff options
author | Andrey Andreev <narf@devilix.net> | 2019-02-14 13:49:00 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-02-14 13:49:00 +0100 |
commit | 15eaca036d2b43df1a8c3e1d7db2c44ec3de4aaf (patch) | |
tree | 1a21889e3c7b8dbaabe4560142ab624057b3bae1 /user_guide_src/source | |
parent | 807f43b65d6b3fc35e8fed6fce1add36971f9f51 (diff) | |
parent | b046d9751a1df09fe95e1773c770eb5e91e100d3 (diff) |
[ci skip] Merge pull request #5692 from ytetsuro/patch-2
Fixed bug that can not be changed from not null to null in oci.
Diffstat (limited to 'user_guide_src/source')
0 files changed, 0 insertions, 0 deletions