]> git.ipfire.org Git - thirdparty/jinja.git/commitdiff
Merge pull request #1035 from utoddl/stable-sort-doc
authorDavid Lord <davidism@gmail.com>
Tue, 23 Jul 2019 22:23:03 +0000 (15:23 -0700)
committerGitHub <noreply@github.com>
Tue, 23 Jul 2019 22:23:03 +0000 (15:23 -0700)
document that sort is stable


Trivial merge