diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2016-03-31 14:28:41 +0200 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2016-03-31 14:28:45 +0200 |
| commit | 28ad4d9fc2be102786a8c6c32ebecb466b2a03dd (patch) | |
| tree | 105099efab98b0809133fbc5276d70d02e099791 /contrib/devtools/github-merge.py | |
| parent | 63832688939f5445289621d0c01f27411253386c (diff) | |
| parent | 72fd008e7fa5a85dd1d3e69d7c194a6160ec3615 (diff) | |
Merge #7477: Fix quoting of copyright holders in configure.ac.
72fd008 Fix quoting of copyright holders in configure.ac. (Daniel Kraft)
Diffstat (limited to 'contrib/devtools/github-merge.py')
0 files changed, 0 insertions, 0 deletions