diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/manual/release-notes/rl-1.12.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/manual/release-notes/rl-1.12.xml b/doc/manual/release-notes/rl-1.12.xml index adfbaa157f22..d8fc2bcf89b1 100644 --- a/doc/manual/release-notes/rl-1.12.xml +++ b/doc/manual/release-notes/rl-1.12.xml @@ -184,7 +184,7 @@ </listitem> <listitem> - <para><function>builtins.fetchgit</function>. + <para><function>builtins.fetchGit</function>. (38539b943a060d9cdfc24d6e5d997c0885b8aa2f)</para> </listitem> |