Hi Martin,Okay; I'll push with "public", but would be fine if the 166-alpha crew want to revisit for "protected".
Thanks for the review, -Joe On 7/23/2020 7:49 PM, Martin Buchholz wrote:
I'm happy with this change whether or not the slightly more evocative "protected" is used. On Thu, Jul 23, 2020 at 5:43 PM Joe Darcy <[email protected]> wrote:
