Comment 13 for bug 1999197

Oh, and btw, the instructions on how to add proposed are incomplete, here is a better link (albeit for an older version => change the distribution nickname):

https://askubuntu.com/questions/49609/how-do-i-add-the-proposed-repository