| ubot5 | In #ubuntu-discuss, guntbert_ said: !19.04 is <reply> Ubuntu 19.04 (Disco Dingo) was the 30th release of Ubuntu, support ended January 2020. see !eol and https://lists.ubuntu.com/archives/ubuntu-security-announce/2020-January/005263.html | 22:09 |
|---|---|---|
| guntbert_ | fixing the grammar :-)) | 22:10 |
| guntbert_ | I forgot the syntax to replace/delete text ... | 22:12 |
| JackFrost | guntbert_: https://unit193.net/ubottu.html#_editing_factoids (note this isn't official documentation) | 22:27 |
| guntbert_ | JackFrost: thx, found and bookmarked :-)) | 22:29 |
| * JackFrost hopes it doesn't randomly disappear. :P | 22:31 | |
| guntbert_ | JackFrost: that has *never* happened before ;-) | 22:35 |
| hggdh | guntbert_: IIRC, upsdates to ubottu are mirrored by ubot5. Or something like it | 22:36 |
| dax | yep, the ubot clones grab updates made to ubottu | 22:37 |
| hggdh | ^ more tehnically correct :-) thank you dax | 22:37 |
| * hggdh goes walk the dog | 22:38 | |
| JackFrost | Or, grabbed then converted... | 22:42 |
Generated by irclog2html.py 2.7 by Marius Gedminas - find it at mg.pov.lt!