tree 56518793cb03a26cde782b4d5c60a596411c34bd
parent d92ee726ce3b2fc2c249407d977433f0badcc918
author Behdad Esfahbod <behdad@behdad.org> 1628583665 -0600
committer Behdad Esfahbod <behdad@behdad.org> 1628584375 -0600

[util] Refactor batch-processing code into batch.hh