Code

Add Pool::get_owned#107

Code

Merged

djc merged 5 commits intodjc:maindjc/bb8:mainfrom davidpdrsn:weak-connectionCopy head branch name to clipboardAug 11, 2021

+49-5

Commits

Commits on Jul 12, 2021

• Add Pool::get_owned

  davidpdrsn

  committed
  1b3bda5

• Simplify Drop implementation

  davidpdrsn

  committed
  c8346e1

Commits on Aug 9, 2021

• Apply suggestions from code review

  Show description for 616a5f7
  

  davidpdrsn

  and

  djc

  authored
  616a5f7

• rename get_with to make_pool

  davidpdrsn

  committed
  f385dec

• fix name

  davidpdrsn

  committed
  45bd560