mirror of
https://github.com/SOCI/soci.git
synced 2026-02-15 02:38:42 -06:00
This change was discussed and suggested in this thread of comments: https://github.com/SOCI/soci/pull/755#discussion_r329550806
This change was discussed and suggested in this thread of comments: https://github.com/SOCI/soci/pull/755#discussion_r329550806