diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2016-06-27 15:16:56 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2016-06-27 18:35:08 +0200 |
commit | d4725f692a5f202ca4c5d6341b586b0e377f6973 (patch) | |
tree | 9cd74c65a51ca06547e9117b4d4901ec18a9519b /library | |
parent | 403c12ac3e8a9c3719aacbfa113600abc74846b7 (diff) | |
parent | a10e3e0252560992128f490dfcb3d76c4bbf317b (diff) |
Merge remote-tracking branch 'github/pr/223' into feedback-locations
Was PR#223: Allow feedback messages to carry a location.
Diffstat (limited to 'library')
0 files changed, 0 insertions, 0 deletions