yes, this is quite acceptable, and makes the relationship between the 
two pull requests clearer.

Kind regards,

On 23/09/16 10:46, Stefano Costa wrote:
> I wasn't sure if I should open a ticket on GeoServer's JIRA as well... in
> the end, I opted not to and rather refer to the GeoTools ticket in the
> commit message: is this appropriate?

Ben Caradoc-Davies <>
Transient Software Limited <>
New Zealand

GeoTools-Devel mailing list

Reply via email to