Merge remote-tracking branch 'origin/master'
commit096d445a3a34ce0d77437a135997fab97c38ec64
authorsajolida <sajolida@pimienta.org>
Thu, 13 Dec 2018 16:37:14 +0000 (13 16:37 +0000)
committersajolida <sajolida@pimienta.org>
Thu, 13 Dec 2018 16:37:14 +0000 (13 16:37 +0000)
treefa4780fe32a3f8bfce320420343dbdb529ed33d2
parentd5ad0e8a9ab478d64dc2c7d7a1dca752f8e627ec
parentfe2d21f844d6ac359168c96fd9940f79a471c456
Merge remote-tracking branch 'origin/master'