diff options
author | Emilio Jesus Gallego Arias <e+git@x80.org> | 2018-07-01 02:11:49 +0200 |
---|---|---|
committer | Emilio Jesus Gallego Arias <e+git@x80.org> | 2018-07-01 02:11:49 +0200 |
commit | 09bc93c7faf59de7d8219d6c675300c522129404 (patch) | |
tree | 3c3ca760d41c47139507cb6f4c5d3973c51dd0ac /dev/doc/changes.md | |
parent | 74640d2b8bc158b301c0646db19747a86313e25a (diff) | |
parent | e3a7caa0fb44f7a12248a140528462853810a614 (diff) |
Merge PR #7759: Workaround to fix #7731 (printing not splitting line at break hint).
Diffstat (limited to 'dev/doc/changes.md')
0 files changed, 0 insertions, 0 deletions