diff -r a9d254d5ff81 -r 4aa6d94aed43 docs/HISTORY.txt --- a/docs/HISTORY.txt Fri Dec 14 15:45:30 2018 +0100 +++ b/docs/HISTORY.txt Fri Dec 14 18:36:51 2018 +0100 @@ -1,6 +1,10 @@ History ======= +0.1.13.1 +-------- + - force OID lowercase when searching for internal references + 0.1.13 ------ - added "oid" TALES extension