diff options
author | Raimo Niskanen <[email protected]> | 2016-05-11 09:35:04 +0200 |
---|---|---|
committer | Raimo Niskanen <[email protected]> | 2016-05-11 09:35:04 +0200 |
commit | 7e9cfb571bbb60fa498f98f123fa9bffefb07228 (patch) | |
tree | 4937165ccf4a858245e851130da4eac6f13df0f1 /lib/public_key | |
parent | 76378f21242b8036bac1b187e895bcafa28201da (diff) | |
parent | 7241e26a8ac9aa797f046b6150a481563f625476 (diff) | |
download | otp-7e9cfb571bbb60fa498f98f123fa9bffefb07228.tar.gz otp-7e9cfb571bbb60fa498f98f123fa9bffefb07228.tar.bz2 otp-7e9cfb571bbb60fa498f98f123fa9bffefb07228.zip |
Merge branch 'raimo/polish-gen_statem/OTP-13065'
* raimo/polish-gen_statem/OTP-13065:
Reword 'dispatch' into 'branch depending'
Diffstat (limited to 'lib/public_key')
0 files changed, 0 insertions, 0 deletions