| commit | 81a4b0f984d6e633cc6bd6679cb7b8c91a6f52cd | [log] [tgz] |
|---|---|---|
| author | Michael Tuexen <tuexen@fh-muenster.de> | Sun Jul 14 13:02:23 2019 +0200 |
| committer | Michael Tuexen <tuexen@fh-muenster.de> | Sun Jul 14 13:02:23 2019 +0200 |
| tree | 4b052359f2c14f39586395a036fc5b7edf4c57db | |
| parent | 70f675c86e91a9ef6a0b12759c8c2323a16f2c19 [diff] |
Sync with stream-reset-improved. No functional change for the userland stack.
