Hi Tobias, On 07/09/19 18:37, Tobias C. Berner wrote:
could you respin messagelib with b3d4de670ad6b8428c44fc04b9a931677e881e67 and 7b3249547b9229662a02b01d25c69b18d322e776 ?
These commits are not in 19.04 branch. If they are safe to backport, please use git cherry-pick. Christoph
