I cherry picked the three required commits.

Mfg Tobias

Christoph Feck <[email protected]> schrieb am Di., 9. Juli 2019, 23:38:

> 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
>
>

Reply via email to