On Thu, Mar 01, 2018 at 01:52:09AM -0800, Andres Freund wrote:> Pushed, after replacing "a subset" with "the specified subset".
Thanks, Andres.--Michael