buffer_divergence doesn't seem to be a concept that needs to be tracked

2f7283fd13Julia committed on 9/29/2022, 5:16:02 PMparente0ea932
1 file changedLine totals unavailable