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