rename to gravestone
Passed
created pipeline for commit
fa917665
, finished
1 related merge request: !1227 Support for WS deletes
7 minutes 14 seconds, queued for 5 seconds