merged RC_1_2 into RC_2_0

2020-12-03 00:20:04 +01:00
parent 7ea8138421 0ad0f29ab9
commit f726d10891
26 changed files with 618 additions and 51 deletions
--- a/1
+++ b/1
@ -622,6 +622,7 @@ HEADERS = \
  aux_/packet_pool.hpp              \
  aux_/path.hpp                     \
  aux_/polymorphic_socket.hpp       \
+  aux_/pool.hpp                     \
  aux_/portmap.hpp                  \
  aux_/posix_part_file.hpp          \
  aux_/posix_storage.hpp            \