Re: Podling name search

By the way, if you have further questions, mention @julianhyde in the jira case and I will respond there. > On Mar 1, 2018, at 12:53 PM, Julian Hyde wrote: > > Edit the text in jira case, if jira allows you to. If you do not have access, > add comments to the jira case, and

Re: Podling name search

Edit the text in jira case, if jira allows you to. If you do not have access, add comments to the jira case, and I will edit them in. See https://issues.apache.org/jira/browse/PODLINGNAMESEARCH-128 as an example of a successfully