On Tue, 12 May 2020 13:44:53 GMT, Ajit Ghaisas wrote:
>> Marked as reviewed by kcr (Lead).
>
> @hjohn, this PR is ready to be merged.
> You need to comment /integrate on this PR as instructed by the bot above. I
> will sponsor it once you do it.
Sorry I figured only a committer was allowed to u
On Fri, 1 May 2020 12:33:36 GMT, Kevin Rushforth wrote:
>> John Hendrikx has updated the pull request incrementally with one additional
>> commit since the last revision:
>>
>> Fix typo in comment
>
> Marked as reviewed by kcr (Lead).
@hjohn, this PR is ready to be merged.
You need to commen
On Mon, 27 Apr 2020 14:02:42 GMT, John Hendrikx wrote:
>> This is a solution for 8242548. There was zero test coverage, so I added a
>> few tests for this as well.
>
> John Hendrikx has updated the pull request incrementally with one additional
> commit since the last revision:
>
> Fix typo