Completed
Push — develop ( 610da1...5d8c42 )
by Mario
02:41
created

No notable changes

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

8.08
▶   ± 0
Head
Mario Skouat  
Travis : "dev" option is deprecated
Base
Mario Skouat  
Notification system: Fix issue when extension is disabled or removed