| Fri, 28 Nov 2014 10:16:37 +0100 | Rémi Cardona | [web] Slight tweak on jQueryUI's colors on links (related to #4564046) | file | diff | annotate |
| Fri, 07 Nov 2014 10:33:40 +0100 | Rémi Cardona | [web] Override jQueryUI's colors on links (closes #4564046) | file | diff | annotate |
| Fri, 18 Jul 2014 17:35:25 +0200 | Julien Cristau | merge 3.19.3 into 3.20 branch | file | diff | annotate |