Completed
Push — master ( e0ded5...8cec8a )
by Andreas
03:47
created

No notable changes

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

6.14
▶   ± 0
Head
Andreas Gohr  
clean extension names. fixes #2042
Base
Andreas Gohr  
simplify ajax call handling