[patch] Proposed patch to re-add fix from 221159
mariadb102-server-10.2.19.diff (text/plain), 721 bytes, created by Dave Bendit on 2018-11-17 16:14:40 UTC
(hide)
 
Creator: Dave Bendit
Created: 2018-11-17 16:14:40 UTC
Size: 721 bytes

Flags:

david: maintainer-approval? (brnrd)
Actions: View | Diff
Attachments on bug 233274: 199295