Revision 183044f4ae06157c1c5b97b03afd398a64eca211 authored by Dmitri Naumov on 21 January 2021, 16:45:51 UTC, committed by Dmitri Naumov on 21 January 2021, 16:50:11 UTC
... instead of deprecated result_of.
1 parent af18e87
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...