commit | 47fc6e4ab9990047dfbfdfc422262ae59bb42bfe | [log] [tgz] |
---|---|---|
author | gwenn <gtreguier@gmail.com> | Sun Aug 26 11:01:14 2018 +0200 |
committer | GitHub <noreply@github.com> | Sun Aug 26 11:01:14 2018 +0200 |
tree | dc1997472d1f45c234a880f62cc38d4dbf353789 | |
parent | 112d3bcb218ef754e1242926178afb18a800df69 [diff] | |
parent | 98080d10b68c518014d3329776807c80e0cc4cbd [diff] |
Merge branch 'master' into get_helper
diff --git a/src/lib.rs b/src/lib.rs index 6c39388..6c61a05 100644 --- a/src/lib.rs +++ b/src/lib.rs
@@ -770,6 +770,11 @@ self.helper = helper; } + /// Return a mutable reference to the helper. + pub fn helper_mut(&mut self) -> Option<&mut H> { + self.helper.as_mut() + } + /// Return an immutable reference to the helper. pub fn helper(&self) -> Option<&H> { self.helper.as_ref()