Completed
Pull Request — master (#9858)
by Fulvio
07:40
created

No notable changes

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

5.6
▶   ± 0
Head
Fulvio Notarstefano  
Merge d7d70298c549837234a8dea477a60413b0aad289 into c001d5b27456d7aae3b2ba7fbf9880f7c73f495b
1 more commit
Base
Claudio Sanches  
Make tooltips consistent, closes #9856