Build #2 (Jun 28, 2021, 10:16:52 PM)

1. And optimized the push back input stream away again... (details / githubweb)

Push event to branch claus-record-reader-revision at 10:16:46 PM on Jun 28, 2021

• claus-record-reader-revision