Also verified fixed in mantic using version 45.2-0ubuntu2~really45.0 and the test case that's now in the Bug Description above.
Also verified fixed in mantic using version 45.2-0ubuntu2~ really45. 0 and the test case that's now in the Bug Description above.