[patch] Bug 10517: Use `DROP USER IF EXISTS` and remove ` || true`.
Bug-10517-Use-DROP-USER-IF-EXISTS-and-remove---tru.patch (text/plain), 2.47 KB, created by Martin Renvoize on 2022-04-25 11:53:24 UTC
(hide)
 
Creator: Martin Renvoize
Created: 2022-04-25 11:53:24 UTC
Size: 2.47 KB
Actions: View | Diff | Splinter Review
Attachments on bug 10517: 19284 | 89529 | 96975 | 127865 | 133758 | 134353 | 134354