Merge pull request #1031 from WPMGPRoSToTeMa/patch-1

R.1: Fix finally link
This commit is contained in:
Andrew Pardoe 2017-09-18 11:06:40 -07:00 committed by GitHub
commit 3eaf4fe886

View File

@ -8682,7 +8682,7 @@ What is `Port`? A handy wrapper that encapsulates the resource:
##### Note ##### Note
Where a resource is "ill-behaved" in that it isn't represented as a class with a destructor, wrap it in a class or use [`finally`](#S-gsl) Where a resource is "ill-behaved" in that it isn't represented as a class with a destructor, wrap it in a class or use [`finally`](#Re-finally)
**See also**: [RAII](#Rr-raii). **See also**: [RAII](#Rr-raii).