Bug#1018962: z3: Typo in package description

[Boyuan Yang]

Source: z3
Version: 4.4.1-1~deb9u1
Severity: minor
Tags: patch
X-Debbugs-CC: fabi.wolff at arcor.de filipizaum at gmail.com

Dear Debian z3 package maintainer,

As reported in a thread in https://lists.debian.org/debian-www/2022/09/ ,
there is a typo in package description text.

Please find the proposed patch in the attachment.

Thanks,
Boyuan Yang
-------------- next part --------------
A non-text attachment was scrubbed...
Name: patch.diff
Type: text/x-patch
Size: 3350 bytes
Desc: not available
URL: <http://alioth-lists.debian.net/pipermail/pkg-llvm-team/attachments/20220902/126b3aa5/attachment.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: This is a digitally signed message part
URL: <http://alioth-lists.debian.net/pipermail/pkg-llvm-team/attachments/20220902/126b3aa5/attachment.sig>