]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #6387 from masterleinad/correct_deleter_readwritevector_values
authorWolfgang Bangerth <bangerth@colostate.edu>
Tue, 1 May 2018 03:50:11 +0000 (21:50 -0600)
committerGitHub <noreply@github.com>
Tue, 1 May 2018 03:50:11 +0000 (21:50 -0600)
commitb621412ab50535d4a0bce56becbb8b55eca5b866
treeb9b552a540b92d22fb05da6ea8e5ef0e6f0fa301
parent4cd1e5e1a0d9e4b615081a819b696997966b8bda
parent3b71411d84da2d46c8295faf14d1e58054c3b9be
Merge pull request #6387 from masterleinad/correct_deleter_readwritevector_values

Call the correct deleter for ReadWriteVector::values

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.