Bug#1013395: Bug #1013395: mpdecimal

[Matthias Klose]

fyi, I have requested removal of mpdecimal, see #1056785.

On 02.01.24 23:54, Stefan Krah wrote:

The patch was slightly messed up. Attaching a new version.