Issue with sessions on v3.1.10 and PHP 7.2

Hey,

So i tried the solution you linked me too and did see it previously, it worked and sessions are functioning again however im getting the following warning multiple times on every page load:

A PHP Error was encountered
Severity: Warning

Message: session_set_save_handler(): Cannot change save handler when session is active

Filename: Session/Session.php

Line Number: 110

Editing the Session.php class and the main index.php file doesn't really seem like a proper solution for the issue, there are other comments which mention upgrading to the latest CI version to fix the issue but i'm already using the latest. Is there a fix for this planned as part of an official CI release so we don't have to maintain this ourselves on multiple projects?