Bug#847105: wok source updated

[Lucio Correia]

Breno,

I've upload a new package with requested fixes.

dget -x https://mentors.debian.net/debian/pool/main/w/wok/wok_2.3.0-1.dsc

Let me know if anything else is necessary for wok.

Thanks,

--
Lucio Correia