From: jenkins-bot Date: Thu, 28 Jun 2018 16:45:22 +0000 (+0000) Subject: Merge "Fix 'Tags' padding to keep it farther from the edge and document the source... X-Git-Tag: 1.34.0-rc.0~4931 X-Git-Url: http://git.cyclocoop.org/fichier?a=commitdiff_plain;h=138298b397b308ad6e4bfc7088884d90e8ac1e37;p=lhc%2Fweb%2Fwiklou.git Merge "Fix 'Tags' padding to keep it farther from the edge and document the source of the new right padding value" --- 138298b397b308ad6e4bfc7088884d90e8ac1e37