On Wed, Mar 18, 2020 at 09:29:27PM +0500, ???? ??????? wrote: > Hello, > > to reduce build noise, let us skip PR builds
Merged, thanks Ilya. Willy
On Wed, Mar 18, 2020 at 09:29:27PM +0500, ???? ??????? wrote: > Hello, > > to reduce build noise, let us skip PR builds
Merged, thanks Ilya. Willy