<div dir="ltr">​Fix for Debian,<div>I don't know what you prefer and you very likely want to adapt it anyway to match your upload plans.</div><div>But to be sure here as debdiff (attached) and git branch [1] from latest debian git on pg-repack</div><div><br></div><div>[1]: <a href="https://code.launchpad.net/~paelzer/ubuntu/+source/pg-repack/+git/pg-repack/+ref/fix-pg-feb-2017-microrelease">https://code.launchpad.net/~paelzer/ubuntu/+source/pg-repack/+git/pg-repack/+ref/fix-pg-feb-2017-microrelease</a><br></div><div><br></div><div><br></div></div>