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

[François Kooman]

Hi all,

* vpn-user-portal: 3.1.4 [1]

Small bug fix when using "special" ports with OpenVPN.

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#314-2022-11-08