Closed rbs-jacob closed 11 months ago
This looks good.
Should #373 have included a Changed
section in the change log flagging the API change for Resource
? Since that is the public API I think it should have.
If so, can we roll this changelog update into this PR?
Please describe the changes in your request.
In PR #373,
Resource.flush_to_disk
was renamed toResource.flush_data_to_disk
. In that rename, I missed a couple of usages of the oldflush_to_disk
method. This PR fixes those stragglers.Anyone you think should look at this, specifically?
@whyitfor