Thanks for your report. Please see the Herd 5 release notes on ubuntu-devel-announce, in which this bug was described. This is also bug 89004.
Thanks for your report. Please see the Herd 5 release notes on ubuntu- devel-announce, in which this bug was described. This is also bug 89004.