Revision b17806d09c77a526db058059a324cef08726464a authored by Steven Johnson on 23 February 2023, 17:59:13 UTC, committed by GitHub on 23 February 2023, 17:59:13 UTC
Slightly cleaner code. Also, drive-by change of NULL -> nullptr
1 parent 629da52
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...