diff options
author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2022-11-16 22:43:02 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-11-16 22:43:02 +0100 |
commit | 6d68843d88273dfbff217245e9b8ccd341da138d (patch) | |
tree | 82e17bd5df0b56ec616ee496bfbb4fa656f2a428 /utils | |
parent | 1cc4d10e58a9b616434452bc1fe19b27e044fa20 (diff) | |
parent | 9439493ada9bf241bc725b70a21cc4e143b82baf (diff) | |
download | ocaml-6d68843d88273dfbff217245e9b8ccd341da138d.tar.gz |
Merge pull request #11727 from stedolan/push-defaults-module-pat-fix
Ensure push_defaults can push past module patterns
Diffstat (limited to 'utils')
0 files changed, 0 insertions, 0 deletions