I have published an update which ignored the removed options. Thanks for reporting this issue and providing details!
https://usn.ubuntu.com/3722-3/
I have published an update which ignored the removed options. Thanks for reporting this issue and providing details!
https:/ /usn.ubuntu. com/3722- 3/