Passed
Push — fix-dont-enable-extension-if-a... ( ed5122...93f9ef )
by
unknown
03:51 queued 01:13
created

No notable changes

There were no notable changes in the changeset which was inspected.

9.18
▶   ± 0
Head
Bekh-Ivanov Aleksey  
Don't define extension version if already defined
Base
Thiemo Mättig  
Documenting all changes so far