Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
home:Ledest:erlang
proper
0007-update-mail-unused-email-address-to-curren...
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
File 0007-update-mail-unused-email-address-to-current-one-285.patch of Package proper
From 9f6a6501430479bed66d08cd795cd34d36ec83aa Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Andreas=20L=C3=B6scher?= <TheGeorge@users.noreply.github.com> Date: Thu, 22 Jul 2021 11:55:14 +0100 Subject: [PATCH] update mail unused email address to current one (#285) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-authored-by: Andreas Löscher <loscher@fb.com> --- examples/labyrinth.erl | 2 +- examples/magic.erl | 4 ++-- include/proper_common.hrl | 6 +++--- src/proper.erl | 2 +- src/proper_gen_next.erl | 4 ++-- src/proper_sa.erl | 4 ++-- src/proper_target.erl | 2 +- test/exists_tests.erl | 4 ++-- 8 files changed, 14 insertions(+), 14 deletions(-) diff --git a/examples/labyrinth.erl b/examples/labyrinth.erl index cb23779..3ddab4a 100644 --- a/examples/labyrinth.erl +++ b/examples/labyrinth.erl @@ -1,6 +1,6 @@ %%% -*- coding: utf-8; erlang-indent-level: 2 -*- %%% ------------------------------------------------------------------- -%%% Copyright (c) 2017-2021 Andreas Löscher <andreas.loscher@it.uu.se> +%%% Copyright (c) 2017-2021 Andreas Löscher <andreas@loscher.net> %%% and Kostis Sagonas <kostis@it.uu.se> %%% %%% This file is part of PropEr. diff --git a/examples/magic.erl b/examples/magic.erl index aef66dd..668dcb5 100644 --- a/examples/magic.erl +++ b/examples/magic.erl @@ -1,6 +1,6 @@ %%% -*- coding: utf-8; erlang-indent-level: 2 -*- %%% ------------------------------------------------------------------- -%%% Copyright (c) 2017, Andreas Löscher <andreas.loscher@it.uu.se> +%%% Copyright (c) 2017-2021, Andreas Löscher <andreas@loscher.net> %%% %%% This file is part of PropEr. %%% @@ -17,7 +17,7 @@ %%% You should have received a copy of the GNU General Public License %%% along with PropEr. If not, see <http://www.gnu.org/licenses/>. -%%% @copyright 2017 Andreas Löscher +%%% @copyright 2017-2021 Andreas Löscher %%% @version {@version} %%% @author Andreas Löscher diff --git a/include/proper_common.hrl b/include/proper_common.hrl index f3c0e6a..f92a726 100644 --- a/include/proper_common.hrl +++ b/include/proper_common.hrl @@ -1,10 +1,10 @@ %%% -*- coding: utf-8 -*- %%% -*- erlang-indent-level: 2 -*- %%% ------------------------------------------------------------------- -%%% Copyright 2010-2017 Manolis Papadakis <manopapad@gmail.com>, +%%% Copyright 2010-2021 Manolis Papadakis <manopapad@gmail.com>, %%% Eirini Arvaniti <eirinibob@gmail.com>, %%% Kostis Sagonas <kostis@cs.ntua.gr>, -%%% and Andreas Löscher <andreas.loscher@it.uu.se> +%%% and Andreas Löscher <andreas@loscher.net> %%% %%% This file is part of PropEr. %%% @@ -21,7 +21,7 @@ %%% You should have received a copy of the GNU General Public License %%% along with PropEr. If not, see <http://www.gnu.org/licenses/>. -%%% @copyright 2010-2017 Manolis Papadakis, Eirini Arvaniti, Kostis Sagonas and Andreas Löscher +%%% @copyright 2010-2021 Manolis Papadakis, Eirini Arvaniti, Kostis Sagonas and Andreas Löscher %%% @version {@version} %%% @author Manolis Papadakis %%% @doc Common parts of user and internal header files diff --git a/src/proper.erl b/src/proper.erl index 3ba5b8f..f52aaef 100644 --- a/src/proper.erl +++ b/src/proper.erl @@ -3,7 +3,7 @@ %%% Copyright 2010-2021 Manolis Papadakis <manopapad@gmail.com>, %%% Eirini Arvaniti <eirinibob@gmail.com>, %%% Kostis Sagonas <kostis@cs.ntua.gr>, -%%% and Andreas Löscher <andreas.loscher@it.uu.se> +%%% and Andreas Löscher <andreas@loscher.net> %%% %%% This file is part of PropEr. %%% diff --git a/src/proper_gen_next.erl b/src/proper_gen_next.erl index 9d7f6f6..569d47c 100644 --- a/src/proper_gen_next.erl +++ b/src/proper_gen_next.erl @@ -1,7 +1,7 @@ %%% -*- coding: utf-8 -*- %%% -*- erlang-indent-level: 2 -*- %%% ------------------------------------------------------------------- -%%% Copyright (c) 2017-2020, Andreas Löscher <andreas.loscher@it.uu.se> +%%% Copyright (c) 2017-2021, Andreas Löscher <andreas@loscher.net> %%% and Kostis Sagonas <kostis@it.uu.se> %%% %%% This file is part of PropEr. @@ -19,7 +19,7 @@ %%% You should have received a copy of the GNU General Public License %%% along with PropEr. If not, see <http://www.gnu.org/licenses/>. -%%% @copyright 2017-2020 Andreas Löscher and Kostis Sagonas +%%% @copyright 2017-2021 Andreas Löscher and Kostis Sagonas %%% @version {@version} %%% @author Andreas Löscher diff --git a/src/proper_sa.erl b/src/proper_sa.erl index 18904cd..8f7a494 100644 --- a/src/proper_sa.erl +++ b/src/proper_sa.erl @@ -1,7 +1,7 @@ %%% -*- coding: utf-8 -*- %%% -*- erlang-indent-level: 2 -*- %%% ------------------------------------------------------------------- -%%% Copyright (c) 2017, Andreas Löscher <andreas.loscher@it.uu.se> +%%% Copyright (c) 2017-2021, Andreas Löscher <andreas@loscher.net> %%% and Kostis Sagonas <kostis@it.uu.se> %%% %%% This file is part of PropEr. @@ -19,7 +19,7 @@ %%% You should have received a copy of the GNU General Public License %%% along with PropEr. If not, see <http://www.gnu.org/licenses/>. -%%% @copyright 2017 Andreas Löscher and Kostis Sagonas +%%% @copyright 2017-2021 Andreas Löscher and Kostis Sagonas %%% @version {@version} %%% @author Andreas Löscher diff --git a/src/proper_target.erl b/src/proper_target.erl index da84e7b..06bfbc0 100644 --- a/src/proper_target.erl +++ b/src/proper_target.erl @@ -1,7 +1,7 @@ %%% -*- coding: utf-8 -*- %%% -*- erlang-indent-level: 2 -*- %%% ------------------------------------------------------------------- -%%% Copyright (c) 2017-2021 Andreas Löscher <andreas.loscher@it.uu.se> +%%% Copyright (c) 2017-2021 Andreas Löscher <andreas@loscher.net> %%% and Kostis Sagonas <kostis@it.uu.se> %%% %%% This file is part of PropEr. diff --git a/test/exists_tests.erl b/test/exists_tests.erl index 0c0ceb7..627bfc7 100644 --- a/test/exists_tests.erl +++ b/test/exists_tests.erl @@ -1,7 +1,7 @@ %%% -*- coding: utf-8 -*- %%% -*- erlang-indent-level: 2 -*- %%% ------------------------------------------------------------------- -%%% Copyright (c) 2018, Andreas Löscher <andreas.loscher@it.uu.se> +%%% Copyright (c) 2018-2021, Andreas Löscher <andreas@loscher.net> %%% and Konstantinos Sagonas <kostis@it.uu.se> %%% %%% This file is part of PropEr. @@ -19,7 +19,7 @@ %%% You should have received a copy of the GNU General Public License %%% along with PropEr. If not, see <http://www.gnu.org/licenses/>. -%%% @copyright 2017 Andreas Löscher and Kostis Sagonas +%%% @copyright 2018-2021 Andreas Löscher and Kostis Sagonas %%% @version {@version} %%% @author Andreas Löscher -- 2.35.3
Locations
Projects
Search
Status Monitor
Help
OpenBuildService.org
Documentation
API Documentation
Code of Conduct
Contact
Support
@OBShq
Terms
openSUSE Build Service is sponsored by
The Open Build Service is an
openSUSE project
.
Sign Up
Log In
Places
Places
All Projects
Status Monitor