Completed
Pull Request — master (#740)
by Andreas
02:20
created

No notable changes

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

7.13
▶   ± 0
Head
Andreas  
Merge b64828193cff83a7a0de5840f00507f3f9237bb9 into eb6e4fb904a459be28872765ab6e2d246aac7c87
1 more commit
Base
Gabriel Ostrolucký  
Fix #730 compatibility with web profiler 4 (#735)