diff options
| author | Dario Nieuwenhuis <[email protected]> | 2023-08-29 23:09:30 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2023-08-29 23:09:30 +0000 |
| commit | aa7752020ec7725fc29c88a30e8bc4924e5018d1 (patch) | |
| tree | 8c3646e16e838a6bdc7b32ad8448248e68f71abf /examples | |
| parent | a4d78a655217fadcf005b0ae835eb115594dc2b2 (diff) | |
| parent | 975f2f23c0256f192838a5a5cd995faa9ad88f34 (diff) | |
Merge pull request #1842 from embassy-rs/ppp-terminate
net-ppp: return error when PPP link gets terminated by the peer.
Diffstat (limited to 'examples')
0 files changed, 0 insertions, 0 deletions
