Completed
Push — master ( 15810a...2bb0ec )
by Tim
51s queued 12s
created

No notable changes

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

???
Test Coverage
36%
▶ ±0%
Head
Tim  
Merge pull request #618 from twestner/617-no-indexing-after-deleting-in-ws
1 more commit
Base
Tim  
Merge pull request #616 from twestner/613-ws-overlay-configuration