-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1
Tim, the wiki page https://wiki.trinitydesktop.org/Current_Distribution_Functionality_Test_Resu... is *badly* outdated. I suggest we remove it. Is that ok?
Cheers Michele
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA224
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1
Tim, the wiki page https://wiki.trinitydesktop.org/Current_Distribution_Functionality_Test_Resu... is *badly* outdated. I suggest we remove it. Is that ok?
Cheers Michele
Good catch! Yes, it should be removed. Distribution-specific issues should be reported as bugs instead of being noted on an obscure Wiki page.
Tim
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1
On 12/15/2014 01:08 PM, Timothy Pearson wrote:
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1
Tim, the wiki page https://wiki.trinitydesktop.org/Current_Distribution_Functionality_Test_Resu... is *badly* outdated. I suggest we remove it. Is that ok?
Cheers Michele
Good catch! Yes, it should be removed. Distribution-specific issues should be reported as bugs instead of being noted on an obscure Wiki page.
Tim
Tim, I have removed the link to that page from the "Developers" page. But it seems my account on Media Wiki is not allowed to delete pages (the "Delete" button does not show up at the top, only View, Edit, History). Further search suggests that only administrators can delete pages. So either you delete the page yourself or grant "delete" right to my user. Up to you.
Cheers Michele
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA224
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1
On 12/15/2014 01:08 PM, Timothy Pearson wrote:
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1
Tim, the wiki page https://wiki.trinitydesktop.org/Current_Distribution_Functionality_Test_Resu... is *badly* outdated. I suggest we remove it. Is that ok?
Cheers Michele
Good catch! Yes, it should be removed. Distribution-specific issues should be reported as bugs instead of being noted on an obscure Wiki page.
Tim
Tim, I have removed the link to that page from the "Developers" page. But it seems my account on Media Wiki is not allowed to delete pages (the "Delete" button does not show up at the top, only View, Edit, History). Further search suggests that only administrators can delete pages. So either you delete the page yourself or grant "delete" right to my user. Up to you.
Cheers Michele
Whoops, didn't realize that (still getting used to MediaWiki). Deleted.
Tim
-
Michele Calgaro -
Timothy Pearson