tree 4b052359f2c14f39586395a036fc5b7edf4c57db
parent 70f675c86e91a9ef6a0b12759c8c2323a16f2c19
author Michael Tuexen <tuexen@fh-muenster.de> 1563102143 +0200
committer Michael Tuexen <tuexen@fh-muenster.de> 1563102143 +0200

Sync with stream-reset-improved.

No functional change for the userland stack.