This repository was archived by the owner on Sep 11, 2020. It is now read-only.

improve delete support on push#472

Merged

mcuadros merged 1 commit intosrc-d:masterfrom

smola:fix-caps-delete-refs

Jul 11, 2017

Commits on Jul 11, 2017

improve delete support on push
smola
committed