bors 370b72c7dd Auto merge of #14678 - Veykril:restart-server, r=Veykril
fix: Fix restart server button trying to start instead of restart the server
2023-04-28 19:35:05 +00:00
..
2023-04-28 18:49:05 +08:00
2023-04-27 03:03:13 +01:00
2023-04-22 09:48:37 +02:00
2023-04-23 21:55:47 +03:30
2023-04-11 14:39:19 +02:00