Merge branch 'maint'
commitbeb70d0bfba244070f5614d4c72fc08a239d3c0d
authorJohannes Sixt <j6t@kdbg.org>
Sun, 8 Jan 2017 15:12:40 +0000 (8 16:12 +0100)
committerJohannes Sixt <j6t@kdbg.org>
Sun, 8 Jan 2017 15:12:40 +0000 (8 16:12 +0100)
treecfe3112c05eb9a2e33d485ddebecb64a06024830
parent99ba1403dc0e091244ac253074c9e72edb41ce3e
parentbbabbccc614a23637dc21188dc81bfe13ba86872
Merge branch 'maint'

* maint:
  Fix a typo in the pretty printer of std::vector<>.