Thank you!

On 17.07.2020 12:25, Richard Sandiford wrote:
Dmitrij Pochepko <dmitrij.poche...@bell-sw.com> writes:
Hi,

please take a look at updated patch with all comments addressed (attached).
Thanks, pushed to master with a slightly tweaked changelog.

Richard

Reply via email to