[eduVPN-deploy] [2022-11-17] Package Updates (3.x)

[François Kooman]

Hi all,

* vpn-user-portal: 3.1.6 [1]

Small bug fix and restore DNS feature from 2.x where you could indicate 
you want to use the VPN gateway as DNS IP.

Let us know if you have any questions, remarks or suggestions!

Regards,
François

[1] 
https://git.sr.ht/~fkooman/vpn-user-portal/tree/v3/item/CHANGES.md#316-2022-11-17